MCC’2017: The Seventh Model Checking Contest

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

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

9 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'MCC’2017: The Seventh Model Checking Contest'. Sammen danner de et unikt fingeraftryk.