Event Beta
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2005TACAS
- Date
- 2005-04-04/08
- Place
- Edinburgh, United Kingdom on the map
- Series
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems
- Edition
- 11
- Attendance
- on site
- Status
- as scheduled
- Website
- http://www-verimag.imag.fr/PEOPLE/halbwach/TACAS2005.html
- Academic field
- Natural sciences: Mathematics, Computer and information sciences
- Disciplines
- computer science, software engineering
- Identifier
https://id.confref.org/event/e1088y9
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Tools and Algorithms for the Construction and Analysis of Systems LNCS 3440 | 10.1007/b107194 | 2005 | Springer |
| Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings Lecture Notes in Computer Science 3440 | 10.1007/b107194 | 2005 | dblp |
Where the sources disagree
- start date: confident: 2005-04-04; springer-lod: 2005-04-04; wikidata: 2005-04-04; confref-portal: 2005-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 e1088y9. https://id.confref.org/event/e1088y9
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.