Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings


Book Informaton

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Author

Dragan Bosnacki; Stefan Edelkamp

Series

Lecture Notes in Computer Science

Volume

4595

Year of Publication

2007

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

X, 285

Language

en

ISBN

9783540733690, 9783540733706, 3540733698

ARI Id

1664963026300


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

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo