Preface

Tomáš Vojnar; Lijun Zhang; Marius Mikucionis; Radu Grosu; Dirk Beyer; Ondrej Lengal; Ernst Moritz Hahn

doi:10.1007/978-3-030-17462-0

Preface

Tomáš 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 : 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 I
Volume	11427 LNCS
Publisher	Springer
Publication date	2019
Pages	vi-viii
DOIs	https://doi.org/10.1007/978-3-030-17462-0
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	11427
ISSN	0302-9743

Access to Document

10.1007/978-3-030-17462-0Licence: 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). 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 I (Vol. 11427 LNCS, pp. vi-viii). Springer. https://doi.org/10.1007/978-3-030-17462-0

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 I. Vol. 11427 LNCS Springer, 2019. pp. vi-viii (Lecture Notes in Computer Science, Vol. 11427).

@inbook{de56960f39ae44dfa91460c55a5c70f5,

title = "Preface",

author = "Tom{\'a}{\v s} 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-17462-0",

language = "English",

volume = "11427 LNCS",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "vi--viii",

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, 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 I. vol. 11427 LNCS, Springer, Lecture Notes in Computer Science, vol. 11427, pp. vi-viii, 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-17462-0

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 I. Vol. 11427 LNCS Springer, 2019. p. vi-viii (Lecture Notes in Computer Science, Vol. 11427).

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 - Lengal, Ondrej

AU - Hahn, Ernst Moritz

PY - 2019

Y1 - 2019

UR - https://link.springer.com/book/10.1007/978-3-030-17462-0

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

U2 - 10.1007/978-3-030-17462-0

DO - 10.1007/978-3-030-17462-0

M3 - Preface/Introduction/postscript

AN - SCOPUS:85064950359

VL - 11427 LNCS

T3 - Lecture Notes in Computer Science

SP - vi-viii

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. 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 I. Vol. 11427 LNCS. Springer. 2019. p. vi-viii. (Lecture Notes in Computer Science, Vol. 11427). doi: 10.1007/978-3-030-17462-0

Preface

Conference

Access to Document

AUB Link

Other files and links

Cite this