Cita APA (7a ed.)

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.

Cita Chicago Style (17a ed.)

International SPIN Workshop y 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.

Cita MLA (9a ed.)

International SPIN Workshop y Matthew. editor Dwyer. Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings. 1st ed. 2001. Springer Berlin Heidelberg, 2001.