Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 20 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 20 entries