APA (7th ed.) Citation

International SPIN Workshop Vienna, Austria, & Valmari, A. (2006). Model checking software: 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International SPIN Workshop Vienna, Austria, and Antti Valmari. Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : Proceedings. Berlin ; New York: Springer, 2006.

MLA (9th ed.) Citation

International SPIN Workshop Vienna, Austria, and Antti Valmari. Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : Proceedings. Springer, 2006.