Model checking software 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings /
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal...
| Corporate Authors: | International SPIN Workshop Beijing, China) |
|---|---|
| Other Authors: | International SPIN Workshop, Biondi, Fabrizio,, Given-Wilson, Thomas (Computer scientist),, Legay, Axel,, SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2019.
|
| Physical Description: |
1 online resource (x, 261 pages) : illustrations (some color). |
| Series: |
Lecture notes in computer science ;
11636. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |