SpringerLink (Online service), Bošnački, D., & Edelkamp, S. (2007). Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings. Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Dragan Bošnački, and Stefan Edelkamp. Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings. Springer Berlin Heidelberg, 2007.
Warning: These citations may not always be 100% accurate.
