Event Beta
International SPIN Workshop on Model Checking of Software
SPIN
- Date
- 1999-07-05
- Place
- Trento, Italy on the map
- Series
- International SPIN Symposium on Model Checking of Software
- Edition
- 5
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e10817z
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Theoretical and Practical Aspects of SPIN Model Checking LNCS 1680 | 10.1007/3-540-48234-2 | 1999 | Springer |
| Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings Lecture Notes in Computer Science 1680 | 10.1007/3-540-48234-2 | 1999 | dblp |
Where the sources disagree
- place: springer-lod: Q3376; dblp: Q7880; confref-portal: Q7880
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) | |
| dblp |
Cite
International SPIN Workshop on Model Checking of Software. confref identifier e10817z. https://id.confref.org/event/e10817z
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.