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