Home > Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Book Informaton
Author
Jaco van der Pol; Michael Weber
Series
Lecture Notes in Computer Science
Volume
6349
Year of Publication
2010
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
X, 263
Language
en
ISBN
9783642161636, 9783642161643
ARI Id
1664711264143
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 20 entries
Chapters/Headings | Author(s) | Pages | Info |
1-3 | |||
4-21 | |||
22-39 | |||
40-57 | |||
58-75 | |||
76-87 | |||
88-105 | |||
106-123 | |||
124-128 | |||
129-145 | |||
146-161 | |||
162-179 | |||
180-186 | |||
187-192 | |||
193-211 | |||
212-226 | |||
227-244 | |||
245-261 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 20 entries