Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings


Book Informaton

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Author

Dragan Bošnački; Anton Wijs

Series

Lecture Notes in Computer Science

Volume

9641

Year of Publication

1st ed. 2016

Publisher

Springer International Publishing

Pages

XVI, 245

Language

EN

ISBN

9783319325811, 9783319325828, 3319325817

ARI Id

1664835859300


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 18 of 18 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XVI
1-18
19-37
38-56
57-77
78-96
97-103
104-110
111-128
129-146
147-164
165-181
182-188
189-207
208-213
214-224
225-243
245-245
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 18 of 18 entries