Cita APA (7a ed.)
Alex Groce, M. M. Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Alex Groce, Madanlal Musuvathi. Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Alex Groce, Madanlal Musuvathi. Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings. Springer.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.