Record Beta
SPIN - International SPIN Symposium on Model Checking of Software
https://id.confref.org/data/confident/34769
This record is part of the confref series International SPIN Symposium on Model Checking of Software.
| rdf:type | cf:Category_Event_Series |
|---|---|
| rdfs:label | SPIN - International SPIN Symposium on Model Checking of Software |
| cf:Academic_Field | https://id.confref.org/data/confident/30514 |
| cf:Acronym | SPIN |
| cf:Creation_date | 2022-11-15T07:34:51 |
| cf:DBLP_Series_ID | spin |
| cf:Display_Title | SPIN - International SPIN Symposium on Model Checking of Software |
| cf:Maintainer_Missing | true |
| cf:Modification_date | 2022-11-16T07:19:43 |
| cf:Official_Website | https://spinroot.com/spin/symposia/ |
| cf:Recurrence_Period | 1 |
| cf:Recurrence_Unit | year |
| cf:Title | International SPIN Symposium on Model Checking of Software |
| cf:page | https://www.confident-conference.org/index.php/Event_Series:Afa45868-2978-4f47-a643-02287b0fe711 |
| cf:pageTitle | Event Series:Afa45868-2978-4f47-a643-02287b0fe711 |
| cr:field | Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2) |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.