Fabrice Kordon, Hubert Garavel, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, et al.. MCC’2015 – The Fifth Model Checking Contest. Transactions on Petri Nets and Other Models of Concurrency, Springer, 2016, Lecture Notes in Computer Science, 9930,
HAL Archives-Ouvertes,
Fabrice Kordon, Hubert Garavel, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, et al..