Event Beta
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2012TACASTACAS@ETAPS 2012
- Date
- 2012-03-27/30
- Place
- Tallinn, Estonia on the map
- Series
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems
- Edition
- 18
- Attendance
- on site
- Status
- as scheduled
- Website
- https://etaps.org/2012/tacas
- Academic field
- Natural sciences: Mathematics, Computer and information sciences
- Disciplines
- computer science, software engineering
- Identifier
https://id.confref.org/event/e10895v
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Tools and Algorithms for the Construction and Analysis of Systems LNCS 7214 | 10.1007/978-3-642-28756-5 | 2012 | Springer |
| Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings Lecture Notes in Computer Science 7214 | 10.1007/978-3-642-28756-5 | 2012 | dblp |
Where the sources disagree
- start date: confident: 2012-03-27; springer-lod: 2012-03-24; wikidata: 2012-03-24; confref-portal: 2012-03-24
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 e10895v. https://id.confref.org/event/e10895v
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.