Home > Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Book Informaton
Author
Susanne Graf; Laurent Mounier
Series
Lecture Notes in Computer Science
Volume
2989
Year of Publication
2004
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
X, 314
Language
en
ISBN
9783540213147, 9783540247326
ARI Id
1664347413469
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 24 entries
Chapters/Headings | Author(s) | Pages | Info |
1-4 | |||
5-22 | |||
23-38 | |||
39-56 | |||
57-75 | |||
76-91 | |||
92-108 | |||
109-126 | |||
127-145 | |||
146-150 | |||
151-157 | |||
158-163 | |||
164-181 | |||
182-197 | |||
198-215 | |||
216-233 | |||
234-251 | |||
252-266 | |||
267-285 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 24 entries