Event Beta
International SPIN Symposium on Model Checking of Software
SPIN 2004SPIN
- Date
- 2004-04-01/03
- Place
- Barcelona, Spain on the map
- Series
- International SPIN Symposium on Model Checking of Software
- Edition
- 11
- Attendance
- on site
- Status
- as scheduled
- Website
- https://spinroot.com/spin/symposia/ws04/program2004.html
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e1081cn
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Model Checking Software LNCS 2989 | 10.1007/b96721 | 2004 | Springer |
| Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings Lecture Notes in Computer Science 2989 | 10.1007/b96721 | 2004 | dblp |
Where the sources disagree
- start date: confident: 2004-04-01; springer-lod: 2004-04-01; confref-portal: 2004-01-01
The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| ConfIDent | |
| dblp |
Cite
International SPIN Symposium on Model Checking of Software. confref identifier e1081cn. https://id.confref.org/event/e1081cn
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.