Model checking software 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings /
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and...
| Corporate Authors: | International SPIN Workshop Eindhoven, Netherlands) |
|---|---|
| Other Authors: | International SPIN Workshop, Bošnački, Dragan, 1963-, Wijs, Anton,, SpringerLink (Online service), ETAPS (Conference) |
| Format: | eBook |
| Language: | English |
| Published: |
Switzerland :
Springer,
2016.
|
| Physical Description: |
1 online resource (xvi, 245 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
9641. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |