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

Jan Friso Groote; Kim Guldstrand Larsen

doi:10.1007/978-3-030-72013-1

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

Jan Friso Groote (Editor)
, Kim Guldstrand Larsen (Editor)

Research output: Book/Report › Book editing › Academic › peer-review

Original language	English
Publisher	Springer
ISBN (Electronic)	978-3-030-72013-1
ISBN (Print)	978-3-030-72012-4
DOIs	https://doi.org/10.1007/978-3-030-72013-1
Publication status	Published - 2021

Publication series

Name	Lecture Notes in Computer Science
Volume	12652

Name	Theoretical Computer Science and General Issues
Volume	12652

Access to Document

10.1007/978-3-030-72013-1Licence: CC BY

Cite this

Groote, J. F., & Larsen, K. G. (Eds.) (2021). 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; Vol. 12652), (Theoretical Computer Science and General Issues; Vol. 12652). Springer. https://doi.org/10.1007/978-3-030-72013-1

Groote, Jan Friso (Editor) ; Larsen, Kim Guldstrand (Editor). / 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. Springer, 2021. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues).

@book{936a35ed5f0c4b26846691cfaa7b27da,

title = "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",

editor = "Groote, \{Jan Friso\} and Larsen, \{Kim Guldstrand\}",

year = "2021",

doi = "10.1007/978-3-030-72013-1",

language = "English",

isbn = "978-3-030-72012-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}

Groote, JF & Larsen, KG (eds) 2021, 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, vol. 12652, Theoretical Computer Science and General Issues, vol. 12652, Springer. https://doi.org/10.1007/978-3-030-72013-1

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. / Groote, Jan Friso (Editor); Larsen, Kim Guldstrand (Editor).
Springer, 2021. (Lecture Notes in Computer Science; Vol. 12652), (Theoretical Computer Science and General Issues; Vol. 12652).

Research output: Book/Report › Book editing › Academic › peer-review

TY - BOOK

T1 - 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

A2 - Groote, Jan Friso

A2 - Larsen, Kim Guldstrand

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-72013-1

DO - 10.1007/978-3-030-72013-1

M3 - Book editing

SN - 978-3-030-72012-4

T3 - Lecture Notes in Computer Science

BT - 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

PB - Springer

ER -

Groote JF, (ed.), Larsen KG, (ed.). 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. Springer, 2021. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues). doi: 10.1007/978-3-030-72013-1