Ezio Bartocci, Richard DeFrancisco, Scott A. Smolka. Towards a GPGPU-parallel SPIN model checker. In Neha Rungta, Oksana Tkachuk, editors, 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. pages 87-96, ACM, 2014. [doi]
@inproceedings{BartocciDS14,
title = {Towards a GPGPU-parallel SPIN model checker},
author = {Ezio Bartocci and Richard DeFrancisco and Scott A. Smolka},
year = {2014},
doi = {10.1145/2632362.2632379},
url = {http://doi.acm.org/10.1145/2632362.2632379},
researchr = {https://researchr.org/publication/BartocciDS14},
cites = {0},
citedby = {0},
pages = {87-96},
booktitle = {2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
editor = {Neha Rungta and Oksana Tkachuk},
publisher = {ACM},
isbn = {978-1-4503-2452-6},
}