APA-Zitierstil (7. Ausg.)

(2005). Model checking software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22 - 24, 2005 ; proceedings. Springer. https://doi.org/10.1007/11537328

Chicago-Zitierstil (17. Ausg.)

Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22 - 24, 2005 ; Proceedings. Berlin [u.a.]: Springer, 2005. https://doi.org/10.1007/11537328.

MLA-Zitierstil (9. Ausg.)

Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22 - 24, 2005 ; Proceedings. Springer, 2005. https://doi.org/10.1007/11537328.