Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings - Bosnacki, Dragan; Bosnacki, Dragan; Leue, Stefan; Leue, Stefan (Springer Berlin Heidelberg : Imprint: Springer, 2002)