[Back]


Talks and Poster Presentations (with Proceedings-Entry):

E. Bartocci, R. DeFrancisco, S. Smolka:
"Towards a GPGPU-parallel SPIN model checker";
Talk: 21th International SPIN Symposium on Model Checking of Software, San Jose, California; 2014-07-21 - 2014-07-23; in: "SPIN 2014: International SPIN Symposium on Model Checking of Software", ACM, (2014), ISBN: 978-1-4503-2452-6; 87 - 96.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/2632362.2632379


Created from the Publication Database of the Vienna University of Technology.