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 / Dennis Dams ... [et al.], (eds.).

Saved in:

Bibliographic Details
Corporate Authors:	International SPIN Workshop on Theoretical Aspects of Model Checking Trento, Italy, Federated Logic Conference, International SPIN Workshop on Practical Aspects of Model Checking, World Congress on Formal Methods in the Development of Computing Systems
Other Authors:	Dams, Dennis
Format:	Book
Language:	English
Published:	Berlin ; London : Springer, 1999.
Series:	Lecture notes in computer science, 1680
Subjects:	SPIN Computer file Automatic theorem proving > Congresses Verification (Logic)
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items