You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
Presentation of the 9th Edition of the Model Checking Contest
|
---|---|
Chapter number | 4 |
Book title |
Tools and Algorithms for the Construction and Analysis of Systems
|
Published by |
Springer, Cham, April 2019
|
DOI | 10.1007/978-3-030-17502-3_4 |
Book ISBNs |
978-3-03-017501-6, 978-3-03-017502-3
|
Authors |
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, Jiří Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf, Amparore, Elvio, Berthomieu, Bernard, Ciardo, Gianfranco, Dal Zilio, Silvano, Gallà, Francesco, Hillah, Lom Messan, Hulin-Hubard, Francis, Jensen, Peter Gjøl, Jezequel, Loïg, Kordon, Fabrice, Le Botlan, Didier, Liebke, Torsten, Meijer, Jeroen, Miner, Andrew, Paviot-Adet, Emmanuel, Srba, Jiří, Thierry-Mieg, Yann, van Dijk, Tom, Wolf, Karsten |