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

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

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


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