Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Event Beta

International Conference on Tools and Algorithms for the Construction and Analysis of Systems

TACAS 2021
Date
2021-03-27 to 2021-04-01
Place
Luxembourg, Luxembourg on the map
Series
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Edition
27
Attendance
online
Status
as scheduled
Website
https://etaps.org/2021/tacas
Academic field
Natural sciences: Mathematics, Computer and information sciences
Disciplines
software engineering
Identifier
https://id.confref.org/event/e11ws9s

Proceedings

TitleDOIYearRecord
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
Lecture Notes in Computer Science 12651
10.1007/978-3-030-72016-22021dblp
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
Lecture Notes in Computer Science 12652
10.1007/978-3-030-72013-12021dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

ConfIDent
dblp

Cite

International Conference on Tools and Algorithms for the Construction and Analysis of Systems. confref identifier e11ws9s. https://id.confref.org/event/e11ws9s

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.