BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @book{TUW-239543, editor = {Bartocci, Ezio and Ramakrishnan, C.R.}, title = {Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings}, publisher = {Springer-Verlag Berlin Heidelberg}, year = {2013}, address = {Berlin Heidelberg}, numpages = {377}, isbn = {978-3-642-39175-0}, doi = {10.1007/978-3-642-39176-7} } 1 Datensatz ausgegeben