APA (7th ed.) Citation

(2007). Model checking software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007 ; Proceedings. Berlin [u.a.]: Springer, 2007.

MLA (9th ed.) Citation

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007 ; Proceedings. Springer, 2007.