@inproceedings{barnat10employing,
 author = {Jiří Barnat and Petr Bauch and Luboš Brim and Milan Češka},
 booktitle = {{16th International Conference on Parallel and Distributed Systems (ICPADS 2010)}},
 keywords = {divine},
 publisher = {IEEE},
 title = {{Employing Multiple CUDA Devices to Accelerate LTL Model Checking}},
 year = {2010}
}