Library Catalogue Plus

APA (7th ed.) Citation

International SPIN Workshop on Theoretical Aspects of Model Checking Trento, Italy, Federated Logic Conference, International SPIN Workshop on Practical Aspects of Model Checking, 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 / Dennis Dams ... [et al.], (eds.): 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International SPIN Workshop on Theoretical Aspects of Model Checking Trento, Italy, Federated Logic Conference, International SPIN Workshop on Practical Aspects of Model Checking, 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 / Dennis Dams ... [et Al.], (eds.): 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : Proceedings. Berlin ; London: Springer, 1999.

MLA (9th ed.) Citation

International SPIN Workshop on Theoretical Aspects of Model Checking 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 / Dennis Dams ... [et Al.], (eds.): 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : Proceedings. Springer, 1999.