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-23; in: "SPIN 2014: International SPIN Symposium on Model Checking of Software",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.