APA (7th ed.) Citation

(2002). Model checking software: 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue [eds.].

Chicago Style (17th ed.) Citation

Model Checking Software: 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : Proceedings / Dragan Bošnački, Stefan Leue [eds.]. 2002.

MLA (9th ed.) Citation

Model Checking Software: 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : Proceedings / Dragan Bošnački, Stefan Leue [eds.]. 2002.

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