Record Beta
SPIN 2008
https://id.confref.org/data/confident/34827
This record is part of the confref event International SPIN Symposium on Model Checking of Software.
| rdf:type | cf:Category_Event |
|---|---|
| schema:location | Los Angeles (wd:Q65) |
| rdfs:label | SPIN 2008 |
| cf:Acronym | SPIN 2008 |
| cf:City | US/CA/Los Angeles |
| cf:Country | https://id.confref.org/data/confident/31086 |
| cf:Country_Missing | false |
| cf:Creation_date | 2022-11-16T11:08:30 |
| cf:Display_Title | SPIN 2008 |
| cf:End_Date | 2008-08-12 |
| cf:Event_Mode | on site |
| cf:Event_Status | as scheduled |
| cf:Has_Metric | false |
| cf:In_Event_Series | https://id.confref.org/data/confident/34769 |
| cf:Modification_date | 2022-11-16T11:08:30 |
| cf:Month | 8 |
| cf:Number_Of_Accepted_Papers | 22 |
| cf:Official_Website | https://spinroot.com/spin/symposia/ws08/index.html |
| cf:Ordinal | 15 |
| cf:Organizer_Missing | true |
| cf:Region | US/CA |
| cf:Single_Day_Event | no |
| cf:Start_Date | 2008-08-10 |
| cf:Start_Date_Missing | false |
| cf:Title | International SPIN Symposium on Model Checking of Software |
| cf:Year | 2008 |
| cf:page | https://www.confident-conference.org/index.php/Event:98b73672-08c3-41ca-9d9d-17640607d3ea |
| cf:pageTitle | Event:98b73672-08c3-41ca-9d9d-17640607d3ea |
| cr:sameAs | https://dblp.org/db/conf/spin/spin2008 |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.