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 - Dams, Dennis; Dams, Dennis; Gerth, Robert; Gerth, Robert; Leue, Stefan; Leue, Stefan; Massinek, Mieke; Massinek, Mieke (Springer Berlin Heidelberg : Imprint: Springer, 1999)