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.).

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.). 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings /

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!
Login for hold information

Pilkington Library - Pilkington Main Collection

Shelfmark: 005.14/INT
Copy [0402542886] Available

Similar Items