Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings


Book Informaton

Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Author

María del Mar Gallardo; Pedro Merino

Series

Lecture Notes in Computer Science

Volume

10869

Year of Publication

1st ed. 2018

Publisher

Springer International Publishing

Pages

XVI, 347

Language

en

ISBN

9783319941103, 9783319941110, 3319941100

ARI Id

1665125226373


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 23 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XVI
1-1
3-25
26-47
48-62
63-63
65-84
85-102
103-114
115-132
133-152
153-170
171-189
190-195
196-215
216-234
235-254
255-274
275-291
292-307
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 23 entries