APA (7th ed.) Citation

(2009). Model checking software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings / Corina S. Pǎsǎreanu (ed.).

Chicago Style (17th ed.) Citation

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : Proceedings / Corina S. Pǎsǎreanu (ed.). 2009.

MLA (9th ed.) Citation

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : Proceedings / Corina S. Pǎsǎreanu (ed.). 2009.

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