APA (7th ed.) Citation

(2008). Model checking software: 15th international SPIN workshop, Los Angeles, CA, USA, August 10-12, 2008 ; proceedings. Springer. https://doi.org/10.1007/978-3-540-85114-1

Chicago Style (17th ed.) Citation

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 ; Proceedings. Berlin [u.a.]: Springer, 2008. https://doi.org/10.1007/978-3-540-85114-1.

MLA (9th ed.) Citation

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 ; Proceedings. Springer, 2008. https://doi.org/10.1007/978-3-540-85114-1.