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
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
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 23 entries
Chapters/Headings | Author(s) | Pages | Info |
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/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 23 entries