Presentation of the 9th Edition of the Model Checking Contest

Elvio Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal Zilio, Francesco Gallà, Lom Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon*, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew Miner, Emmanuel Paviot-Adet, Jiri Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

7 Citationer (Scopus)
14 Downloads (Pure)
OriginalsprogEngelsk
TitelInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems : TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems
RedaktørerFabrice Kordon, Marieke Huisman, Bernhard Steffen, Dirk Beyer
Antal sider19
ForlagSpringer
Publikationsdato1 jan. 2019
Sider50-68
ISBN (Trykt)9783030175016
DOI
StatusUdgivet - 1 jan. 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/bind11429
ISSN0302-9743

Fingeraftryk Dyk ned i forskningsemnerne om 'Presentation of the 9th Edition of the Model Checking Contest'. Sammen danner de et unikt fingeraftryk.

Citationsformater