International SPIN Workshop Grenoble, France, SpringerLink (Online service), Bošnački, D., & Leue, S. (2002). Model checking software: 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings. Springer.
Chicago Style (17th ed.) CitationInternational SPIN Workshop Grenoble, France, SpringerLink (Online service), Dragan Bošnački, and Stefan Leue. Model Checking Software: 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : Proceedings. Berlin ; New York: Springer, 2002.
MLA (9th ed.) CitationInternational SPIN Workshop Grenoble, France, et al. Model Checking Software: 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : Proceedings. Springer, 2002.
Warning: These citations may not always be 100% accurate.