APA引文

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

Chicago Style (17th ed.) Citation

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

MLA引文

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

警告：這些引文格式不一定是100％准確.