APA (7th ed.) Citation

(2003). Model checking software: 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 ; proceedings. Springer. https://doi.org/10.1007/3-540-44829-2

Chicago Style (17th ed.) Citation

Model Checking Software: 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 ; Proceedings. Berlin u.a: Springer, 2003. https://doi.org/10.1007/3-540-44829-2.

MLA (9th ed.) Citation

Model Checking Software: 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 ; Proceedings. Springer, 2003. https://doi.org/10.1007/3-540-44829-2.