Bernard Berthomieu
◀ ▶ joint publications with
Lom-Messan Hillah
- 2018
[j6]
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:
MCC'2017 - The Seventh Model Checking Contest. T. Petri Nets and Other Models of Concurrency 13:
181-209 (
2018)
maintained by

, founded at
