Preface

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingForord/Indledning/efterskriftForskning

OriginalsprogEngelsk
TitelTools 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/bind11428 LNCS
ForlagSpringer
Publikationsdato2019
Sidervii-ix
ISBN (Trykt)978-3-030-17464-4
ISBN (Elektronisk)978-3-030-17465-1
DOI
StatusUdgivet - 2019
Begivenhed25th 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, Tjekkiet
Varighed: 6 apr. 201911 apr. 2019

Konference

Konference25th 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
LandTjekkiet
ByPrague
Periode06/04/201911/04/2019
NavnLecture Notes in Computer Science
Vol/bind11428
ISSN0302-9743

Citationsformater