Event Beta
International SPIN Symposium on Model Checking of Software
SPIN 2021
- Date
- 2021-07-12
- Series
- International SPIN Symposium on Model Checking of Software
- Edition
- 27
- Attendance
- online
- Status
- as scheduled
- Website
- https://conf.researchr.org/home/spin-2021
- Academic field
- Natural sciences: Computer and information sciences
- Identifier
https://id.confref.org/event/e11vy40
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings Lecture Notes in Computer Science 12864 | 10.1007/978-3-030-84629-9 | 2021 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| ConfIDent | |
|---|---|
| dblp |
Cite
International SPIN Symposium on Model Checking of Software. confref identifier e11vy40. https://id.confref.org/event/e11vy40
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.