TACAS Preface

Tomas Vojnar; Lijun Zhang; Marius Mikucionis; Radu Grosu; Dirk Beyer; Ondrej Lengal; Ernst Moritz Hahn

doi:10.1007/978-3-030-17502-3

TACAS Preface

Tomas Vojnar, Lijun Zhang, Marius Mikucionis, Radu Grosu, Dirk Beyer, Ondrej Lengal, Ernst Moritz Hahn

Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Volume	11429 LNCS
Publisher	Springer
Publication date	2019
Pages	vii-ix
ISBN (Print)	978-3-030-17501-6
ISBN (Electronic)	978-3-030-17502-3
DOIs	https://doi.org/10.1007/978-3-030-17502-3
Publication status	Published - 2019
Event	25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019 - Prague, Czech Republic Duration: 6 Apr 2019 → 11 Apr 2019

Conference

Conference	25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019
Country/Territory	Czech Republic
City	Prague
Period	06/04/2019 → 11/04/2019

Series	Lecture Notes in Computer Science
Volume	11429
ISSN	0302-9743

Access to Document

10.1007/978-3-030-17502-3Licence: CC BY 4.0

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengal, O., & Hahn, E. M. (2019). TACAS Preface. In Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III (Vol. 11429 LNCS, pp. vii-ix). Springer. https://doi.org/10.1007/978-3-030-17502-3

@inbook{dbe8e26f01dc4484903ce366aad3ef88,

title = "TACAS Preface",

author = "Tomas Vojnar and Lijun Zhang and Marius Mikucionis and Radu Grosu and Dirk Beyer and Ondrej Lengal and Hahn, {Ernst Moritz}",

year = "2019",

doi = "10.1007/978-3-030-17502-3",

language = "English",

isbn = "978-3-030-17501-6",

volume = "11429 LNCS",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "vii--ix",

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

address = "Germany",

note = "25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019 ; Conference date: 06-04-2019 Through 11-04-2019",

}

Vojnar, T, Zhang, L, Mikucionis, M, Grosu, R, Beyer, D, Lengal, O & Hahn, EM 2019, TACAS Preface. in Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. vol. 11429 LNCS, Springer, Lecture Notes in Computer Science, vol. 11429, pp. vii-ix, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 06/04/2019. https://doi.org/10.1007/978-3-030-17502-3

TACAS Preface. / Vojnar, Tomas; Zhang, Lijun; Mikucionis, Marius et al.
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. Vol. 11429 LNCS Springer, 2019. p. vii-ix (Lecture Notes in Computer Science, Vol. 11429).

Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

TY - GEN

T1 - TACAS Preface

AU - Vojnar, Tomas

AU - Zhang, Lijun

AU - Mikucionis, Marius

AU - Grosu, Radu

AU - Beyer, Dirk

AU - Lengal, Ondrej

AU - Hahn, Ernst Moritz

PY - 2019

Y1 - 2019

UR - http://www.scopus.com/inward/record.url?scp=85064913419&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-17502-3

DO - 10.1007/978-3-030-17502-3

M3 - Preface/Introduction/postscript

AN - SCOPUS:85064913419

SN - 978-3-030-17501-6

VL - 11429 LNCS

T3 - Lecture Notes in Computer Science

SP - vii-ix

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

PB - Springer

T2 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019

Y2 - 6 April 2019 through 11 April 2019

ER -

Vojnar T, Zhang L, Mikucionis M, Grosu R, Beyer D, Lengal O et al. TACAS Preface. In Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. Vol. 11429 LNCS. Springer. 2019. p. vii-ix. (Lecture Notes in Computer Science, Vol. 11429). doi: 10.1007/978-3-030-17502-3

TACAS Preface

Conference

Access to Document

AUB Link

Other files and links

Cite this