Tomáš Lamr

2009

Jiří Barnat, Luboš Brim, Milan Češka, and Tomáš Lamr:
CUDA accelerated LTL Model Checking,
15th International Conference on Parallel and Distributed Systems (ICPADS 2009), IEEE Computer Society, 2009, 34–41. [bibtex]