APA (7th ed.) Citation

International SPIN Workshop Los Angeles, California, SpringerLink (Online service), Havelund, K., Majumdar, R., & Palsberg, J. (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

International SPIN Workshop Los Angeles, California, SpringerLink (Online service), Klaus Havelund, Rupak Majumdar, and Jens Palsberg. Model Checking Software: 15th International Spin Workshop, Los Angeles, CA, USA, August 10-12, 2008 : Proceedings. Berlin ; New York: Springer, 2008. https://doi.org/10.1007/978-3-540-85114-1.

MLA (9th ed.) Citation

International SPIN Workshop Los Angeles, California, et al. 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.