@article{BBBC2012,
 article_number = {9},
 author = {Jiří Barnat and Petr Bauch and Luboš Brim and Milan Češka},
 doi = {http://dx.doi.org/10.1016/j.jpdc.2011.10.015},
 issn = {0743-7315},
 journal = {Journal of Parallel and Distributed Computing},
 keywords = {Parallel model checking; Linear temporal logic; Massively parallel architectures; CUDA technology; Multiple CUDA devices},
 language = {eng},
 title = {Designing Fast LTL Model Checking Algorithms for Many-core GPUs},
 url = {http://www.sciencedirect.com/science/article/pii/S0743731511002140},
 volume = {72},
 year = {2012}
}