Petr Bauch, Milan Ceska. CUDA Accelerated LTL Model Checking - Revisited. In Ludek Matyska, Michal Kozubek, Tomás Vojnar, Pavel Zemcík, David Antos, editors, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic. Volume 16 of OASICS, pages 1-8, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2010. [doi]
@inproceedings{BauchC10,
title = {CUDA Accelerated LTL Model Checking - Revisited},
author = {Petr Bauch and Milan Ceska},
year = {2010},
doi = {10.4230/OASIcs.MEMICS.2010.1},
url = {http://dx.doi.org/10.4230/OASIcs.MEMICS.2010.1},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BauchC10},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic},
editor = {Ludek Matyska and Michal Kozubek and Tomás Vojnar and Pavel Zemcík and David Antos},
volume = {16},
series = {OASICS},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
isbn = {978-3-939897-22-4},
}