TITLE     : Theoretical and practical aspects of SPIN model checking. 5th and 6th Int. SPIN workshops
AUTHOR(S) : Dams D, Gerth R, Leue S, Massink M
TYPE      : Book
YEAR      : 1999
CODE      : 190088

*** DO NOT EDIT THIS FILE ***