APA (7th ed.) Citation

(2004). Model checking software: 11th International SPIN Workshop, Barcelona, Spain, April 1 - 3, 2004 ; proceedings. Springer. https://doi.org/10.1007/b96721

Chicago Style (17th ed.) Citation

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1 - 3, 2004 ; Proceedings. Berlin [u.a.]: Springer, 2004. https://doi.org/10.1007/b96721.

MLA (9th ed.) Citation

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1 - 3, 2004 ; Proceedings. Springer, 2004. https://doi.org/10.1007/b96721.