@InProceedings{BBCL09,
  author =       "J. Barnat and L. Brim and M. \v{C}e\v{s}ka and T. Lamr",
  title =        "{CUDA accelerated LTL Model Checking}",
  booktitle =    "15th International Conference on Parallel and Distributed Systems (ICPADS 2009)",
  pages =        "34--41",
  year =         "2009",
  publisher =    "IEEE Computer Society"
}