APA (7th ed.) Citation

International SPIN Workshop Trento, Italy, SpringerLink (Online service), Federated Logic Conference, International SPIN Workshop, World Congress on Formal Methods in the Development of Computing Systems, & Dams, D. (1999). Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

International SPIN Workshop Trento, Italy, SpringerLink (Online service), Federated Logic Conference, International SPIN Workshop, World Congress on Formal Methods in the Development of Computing Systems, and Dennis Dams. Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : Proceedings. Berlin ; New York: Springer-Verlag, 1999.

MLA (9th ed.) Citation

International SPIN Workshop Trento, Italy, et al. Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : Proceedings. Springer-Verlag, 1999.