Employing Multiple CUDA Devices to Accelerate LTL Model Checking. (2010)

by J Barnat, P Bauch, L Brim, M Ceska
Venue:In 16th International Conference on Parallel and Distributed Systems (ICPADS