Books and Book Editorships:

E. Bartocci, C. Ramakrishnan (ed.):
"Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings";
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2013, ISBN: 978-3-642-39175-0; 377 pages.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

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