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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha