MCC'2017 - The Seventh Model Checking Contest

Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    9 Citations (Scopus)
    22 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'MCC'2017 - The Seventh Model Checking Contest'. Together they form a unique fingerprint.

    Computer Science