APA-Zitierstil (7. Ausg.)

(1997). The SPIN verification system: The second workshop on the SPIN Verification System ; proceedings of a DIMACS workshop, August 5, 1996. American Mathematical Soc.

Chicago-Zitierstil (17. Ausg.)

The SPIN Verification System: The Second Workshop on the SPIN Verification System ; Proceedings of a DIMACS Workshop, August 5, 1996. Providence, RI: American Mathematical Soc, 1997.

MLA-Zitierstil (9. Ausg.)

The SPIN Verification System: The Second Workshop on the SPIN Verification System ; Proceedings of a DIMACS Workshop, August 5, 1996. American Mathematical Soc, 1997.