Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska. Designing fast LTL model checking algorithms for many-core GPUs. J. Parallel Distrib. Comput., 72(9):1083-1097, 2012. [doi]
@article{BarnatBBC12, title = {Designing fast LTL model checking algorithms for many-core GPUs}, author = {Jiri Barnat and Petr Bauch and Lubos Brim and Milan Ceska}, year = {2012}, doi = {10.1016/j.jpdc.2011.10.015}, url = {http://dx.doi.org/10.1016/j.jpdc.2011.10.015}, researchr = {https://researchr.org/publication/BarnatBBC12}, cites = {0}, citedby = {0}, journal = {J. Parallel Distrib. Comput.}, volume = {72}, number = {9}, pages = {1083-1097}, }