ask others

Bernard Berthomieu

◀ ▶ joint publications with Lom-Messan Hillah

> Home > Persons > Bernard Berthomieu
> Home > Persons > Lom-Messan Hillah

Publications

2018
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/topnoc/KordonGHPJHABBEJBLMSTPW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18
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