Preface

Jan Friso Groote; Kim Guldstrand Larsen; Frédéric Lang; Thierry Lecomte; Thomas Neele; Peter Gjøl Jensen; Dirk Beyer; Alfredo Rial

doi:10.1007/978-3-030-72016-2

Preface

Jan Friso Groote
, Kim Guldstrand Larsen
, Frédéric Lang
, Thierry Lecomte
, Thomas Neele
, Peter Gjøl Jensen
, Dirk Beyer
, Alfredo Rial

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication	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
Editors	Jan Friso Groote, Kim Gulstrand Larsen
Publisher	Springer
Pages	vii-viii
Volume	1
ISBN (Electronic)	978-3-030-72016-2
ISBN (Print)	978-3-030-72015-5
DOIs	https://doi.org/10.1007/978-3-030-72016-2
Publication status	Published - 2021
Event	27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021 - Virtual, Online Duration: 27 Mar 2021 → 1 Apr 2021

Publication series

Name	Lecture Notes in Computer Science
Volume	12651
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021
City	Virtual, Online
Period	27/03/21 → 1/04/21

Access to Document

10.1007/978-3-030-72016-2Licence: CC BY

pdfFinal published version, 42.8 KBLicence: CC BY

Cite this

Groote, J. F., Larsen, K. G., Lang, F., Lecomte, T., Neele, T., Jensen, P. G., Beyer, D., & Rial, A. (2021). Preface. In J. F. Groote, & K. G. Larsen (Eds.), 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 (Vol. 1, pp. vii-viii). (Lecture Notes in Computer Science; Vol. 12651). Springer. https://doi.org/10.1007/978-3-030-72016-2

Groote, Jan Friso ; Larsen, Kim Guldstrand ; Lang, Frédéric et al. / Preface. 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. editor / Jan Friso Groote ; Kim Gulstrand Larsen. Vol. 1 Springer, 2021. pp. vii-viii (Lecture Notes in Computer Science).

@inbook{c4b44619618b4562baed7b0498854a8f,

title = "Preface",

author = "Groote, \{Jan Friso\} and Larsen, \{Kim Guldstrand\} and Fr{\'e}d{\'e}ric Lang and Thierry Lecomte and Thomas Neele and Jensen, \{Peter Gj{\o}l\} and Dirk Beyer and Alfredo Rial",

year = "2021",

doi = "10.1007/978-3-030-72016-2",

language = "English",

isbn = "978-3-030-72015-5",

volume = "1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "vii--viii",

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

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

address = "Germany",

note = "27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021 ; Conference date: 27-03-2021 Through 01-04-2021",

}

Groote, JF, Larsen, KG, Lang, F, Lecomte, T, Neele, T, Jensen, PG, Beyer, D & Rial, A 2021, Preface. in JF Groote & KG Larsen (eds), 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. vol. 1, Lecture Notes in Computer Science, vol. 12651, Springer, pp. vii-viii, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Virtual, Online, 27/03/21. https://doi.org/10.1007/978-3-030-72016-2

Preface. / Groote, Jan Friso; Larsen, Kim Guldstrand; Lang, Frédéric et al.
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. ed. / Jan Friso Groote; Kim Gulstrand Larsen. Vol. 1 Springer, 2021. p. vii-viii (Lecture Notes in Computer Science; Vol. 12651).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

TY - CHAP

T1 - Preface

AU - Groote, Jan Friso

AU - Larsen, Kim Guldstrand

AU - Lang, Frédéric

AU - Lecomte, Thierry

AU - Neele, Thomas

AU - Jensen, Peter Gjøl

AU - Beyer, Dirk

AU - Rial, Alfredo

PY - 2021

Y1 - 2021

UR - https://www.scopus.com/pages/publications/85150162875

U2 - 10.1007/978-3-030-72016-2

DO - 10.1007/978-3-030-72016-2

M3 - Foreword/editorial

SN - 978-3-030-72015-5

VL - 1

T3 - Lecture Notes in Computer Science

SP - vii-viii

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Groote, Jan Friso

A2 - Larsen, Kim Gulstrand

PB - Springer

T2 - 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021

Y2 - 27 March 2021 through 1 April 2021

ER -

Groote JF, Larsen KG, Lang F, Lecomte T, Neele T, Jensen PG et al. Preface. In Groote JF, Larsen KG, editors, 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. Vol. 1. Springer. 2021. p. vii-viii. (Lecture Notes in Computer Science). doi: 10.1007/978-3-030-72016-2

Preface

Publication series

Conference

Access to Document

Other files and links

Cite this