Dams, Dennis Gerth, Rob Leue, Stefan Eds.,
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 - Berlin Springer-Verlag 1999. - 276 - Lecture notes in computer science ; 01680 .
3540664998
Computer software
Verification
Congresses.
681 LNCS
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 - Berlin Springer-Verlag 1999. - 276 - Lecture notes in computer science ; 01680 .
3540664998
Computer software
Verification
Congresses.
681 LNCS