Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr. CUDA Accelerated LTL Model Checking. In IEEE 15th International Conference on Parallel and Distributed Systems, ICPADS 2009, 8-11 December 2009, Shenzhen, China. pages 34-41, IEEE, 2009. [doi]
Abstract is missing.