Home > Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
Book Informaton
Author
Dragan Bosnacki; Stefan Edelkamp
Series
Lecture Notes in Computer Science
Volume
4595
Year of Publication
2007
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
X, 285
Language
en
ISBN
9783540733690, 9783540733706, 3540733698
ARI Id
1664963026300
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |