Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings


Book Informaton

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Author

Dragan Bosnacki; Stefan Leue

Series

Lecture Notes in Computer Science

Volume

2318

Year of Publication

2002

Publisher

Springer Berlin Heidelberg

Pages

X, 262

Language

en

ISBN

9783540434771, 9783540460176

ARI Id

1664244524667


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 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 26 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-X
1-1
2-5
6-13
14-21
22-41
42-59
60-78
79-94
95-111
112-127
128-147
148-169
170-186
187-204
205-212
213-220
221-229
230-239
240-240
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 26 entries