International SPIN Workshop & Dwyer, M. e. (2001). Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings (1st ed. 2001.). Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationInternational SPIN Workshop and Matthew. editor Dwyer. Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings. 1st ed. 2001. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.
MLA (9th ed.) CitationInternational SPIN Workshop and Matthew. editor Dwyer. Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings. 1st ed. 2001. Springer Berlin Heidelberg, 2001.
Warning: These citations may not always be 100% accurate.
