@inbook{2b47d2b77d4e42a6863df499d640669e,
title = "Preface",
author = "Tom{\'a}{\v s} Vojnar and Lijun Zhang and Marius Mikucionis and Radu Grosu and Dirk Beyer and Ond{\v r}ej Leng{\'a}l and Hahn, {Ernst Moritz}",
year = "2019",
doi = "10.1007/978-3-030-17465-1",
language = "English",
isbn = "978-3-030-17464-4",
volume = "11428 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",
}