Preface

Tomáš Vojnar; Lijun Zhang; Marius Mikucionis; Radu Grosu; Dirk Beyer; Ondřej Lengál; Ernst Moritz Hahn

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

Preface

Tomáš Vojnar, Lijun Zhang, Marius Mikucionis, Radu Grosu, Dirk Beyer, Ondřej Lengál, 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 : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Volume	11428 LNCS
Publisher	Springer
Publication date	2019
Pages	vii-ix
ISBN (Print)	978-3-030-17464-4
ISBN (Electronic)	978-3-030-17465-1
DOIs	https://doi.org/10.1007/978-3-030-17465-1
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	11428
ISSN	0302-9743

Access to Document

10.1007/978-3-030-17465-1Licence: 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., Lengál, O., & Hahn, E. M. (2019). Preface. In Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II (Vol. 11428 LNCS, pp. vii-ix). Springer. https://doi.org/10.1007/978-3-030-17465-1

Vojnar, Tomáš ; Zhang, Lijun ; Mikucionis, Marius et al. / Preface. Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II. Vol. 11428 LNCS Springer, 2019. pp. vii-ix (Lecture Notes in Computer Science, Vol. 11428).

@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",

}

Vojnar, T, Zhang, L, Mikucionis, M, Grosu, R, Beyer, D, Lengál, O & Hahn, EM 2019, Preface. in Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II. vol. 11428 LNCS, Springer, Lecture Notes in Computer Science, vol. 11428, 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-17465-1

Preface. / Vojnar, Tomáš; Zhang, Lijun; Mikucionis, Marius et al.
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II. Vol. 11428 LNCS Springer, 2019. p. vii-ix (Lecture Notes in Computer Science, Vol. 11428).

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

TY - GEN

T1 - Preface

AU - Vojnar, Tomáš

AU - Zhang, Lijun

AU - Mikucionis, Marius

AU - Grosu, Radu

AU - Beyer, Dirk

AU - Lengál, Ondřej

AU - Hahn, Ernst Moritz

PY - 2019

Y1 - 2019

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

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

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

M3 - Preface/Introduction/postscript

AN - SCOPUS:85064544863

SN - 978-3-030-17464-4

VL - 11428 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, Lengál O et al. Preface. In Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II. Vol. 11428 LNCS. Springer. 2019. p. vii-ix. (Lecture Notes in Computer Science, Vol. 11428). doi: 10.1007/978-3-030-17465-1

Preface

Conference

Access to Document

AUB Link

Other files and links

Cite this