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 (Redacteur)
, Kim Guldstrand Larsen (Redacteur)

Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review

Originele taal-2	Engels
Uitgeverij	Springer
ISBN van elektronische versie	978-3-030-72013-1
ISBN van geprinte versie	978-3-030-72012-4
DOI's	https://doi.org/10.1007/978-3-030-72013-1
Status	Gepubliceerd - 2021

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	12652

Naam	Theoretical Computer Science and General Issues
Volume	12652

Toegang tot document

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

Citeer dit

Groote, J. F., & Larsen, K. G. (editors) (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 (Redacteur) ; Larsen, Kim Guldstrand (Redacteur). / 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 (reds.) 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 (Redacteur); Larsen, Kim Guldstrand (Redacteur).
Springer, 2021. (Lecture Notes in Computer Science; Vol. 12652), (Theoretical Computer Science and General Issues; Vol. 12652).

Onderzoeksoutput: Boek/rapport › Boekredactie › 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