@inproceedings{BBCL09,
 author = {Jiří Barnat and Luboš Brim and Milan Češka and Tomáš Lamr},
 booktitle = {15th International Conference on Parallel and Distributed Systems (ICPADS 2009)},
 pages = {34--41},
 publisher = {IEEE Computer Society},
 title = {{CUDA accelerated LTL Model Checking}},
 year = {2009}
}