Preface

Tomáš Vojnar, Lijun Zhang, Marius Mikucionis, Radu Grosu, Dirk Beyer, Ondrej Lengal, 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 I
Vol/bind11427 LNCS
ForlagSpringer
Publikationsdato2019
Sidervi-viii
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
Land/OmrådeTjekkiet
ByPrague
Periode06/04/201911/04/2019
NavnLecture Notes in Computer Science
Vol/bind11427
ISSN0302-9743

Citationsformater