APA-Zitierstil (7. Ausg.)

(2003). Model checking software: 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Model Checking Software: 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 ; Proceedings. Berlin u.a: Springer, 2003.

MLA-Zitierstil (9. Ausg.)

Model Checking Software: 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 ; Proceedings. Springer, 2003.