Event Beta
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2000TACASTACAS@ETAPS 2000
- Date
- 2000-03-25 to 2000-04-02
- Place
- Berlin, Germany on the map
- Series
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems
- Edition
- 6
- Attendance
- on site
- Status
- as scheduled
- Website
- https://www-verimag.imag.fr/EVENTS/2000/TACAS/
- Academic field
- Natural sciences: Mathematics, Computer and information sciences
- Disciplines
- computer science, software engineering
- Identifier
https://id.confref.org/event/e1088sk
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings Lecture Notes in Computer Science 1785 | 10.1007/3-540-46419-0 | 2000 | dblp |
| Tools and Algorithms for the Construction and Analysis of Systems LNCS 1785 | 10.1007/3-540-46419-0 | 2000 | Springer |
Where the sources disagree
- start date: confident: 2000-03-25; springer-lod: 2000-03-25; wikidata: 2000-03-25; confref-portal: 2000-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 e1088sk. https://id.confref.org/event/e1088sk
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.