APA (7e ed.) Bronvermelding

(2001). Model checking software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.).

Chicago (17e ed.) Bronvermelding

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : Proceedings / Matthew Dwyer (ed.). 2001.

MLA (9e ed.) Bronvermelding

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : Proceedings / Matthew Dwyer (ed.). 2001.