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