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 Rob Gerth Stefan Leue Mieke Massink 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 SPIN Lecture Notes in Computer Science 1680 Springer 1999 3-540-66499-8 db/conf/spin/spin1999.html