TY  - BOOK
AU  - Dams, Dennis
AU  - Gerth, Rob
AU  - Leue, Stefan Eds.,
TI  - 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
SN  - 3540664998
CY  - Berlin
KW  - Computer software
KW  - Verification
KW  - Congresses
ER  -