@article{BBC09,
 author = {Jiří Barnat and Luboš Brim and Milan Češka},
 journal = {Electronic Proceedings in Theoretical Computer Science (PDMC 2009)},
 pages = {107--111},
 title = {{DiVinE-CUDA: A Tool for GPU Accelerated LTL Model Checking}},
 url = {http://dx.doi.org/10.4204/EPTCS.14.8},
 volume = {14},
 year = {2009}
}