APA (7th ed.) Citation

(2011). Model checking software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / Alex Groce, Madanlal Musuvathi (eds.).

Chicago Style (17th ed.) Citation

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : Proceedings / Alex Groce, Madanlal Musuvathi (eds.). 2011.

MLA (9th ed.) Citation

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : Proceedings / Alex Groce, Madanlal Musuvathi (eds.). 2011.

Warning: These citations may not always be 100% accurate.