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: | , |
---|---|
Other Authors: | , , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Switzerland :
Springer,
2016
|
Series: | LNCS sublibrary Theoretical computer science and general issues.
Lecture notes in computer science ; 9641 |
Subjects: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Stanford University
Call Number: |
INTERNET RESOURCE |
---|