Event Beta
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2006TACAS
- Date
- 2006-03-25 to 2006-04-02
- Place
- Vienna, Austria on the map
- Series
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems
- Edition
- 12
- Attendance
- on site
- Status
- as scheduled
- Website
- https://depend.cs.uni-saarland.de/index.php?id=329
- Academic field
- Natural sciences: Mathematics, Computer and information sciences
- Disciplines
- computer science, software engineering
- Identifier
https://id.confref.org/event/e1088z7
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Tools and Algorithms for the Construction and Analysis of Systems LNCS 3920 | 10.1007/11691372 | 2006 | Springer |
| Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings Lecture Notes in Computer Science 3920 | 10.1007/11691372 | 2006 | dblp |
Where the sources disagree
- start date: confident: 2006-03-25; springer-lod: 2006-03-25; wikidata: 2006-03-25; confref-portal: 2006-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 | |
| Wikidata | |
| dblp | |
| GND |
Cite
International Conference on Tools and Algorithms for the Construction and Analysis of Systems. confref identifier e1088z7. https://id.confref.org/event/e1088z7
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.