MCC'2015 - The Fifth Model Checking Contest

Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard. MCC'2015 - The Fifth Model Checking Contest. T. Petri Nets and Other Models of Concurrency, 11:262-273, 2016. [doi]

Abstract

Abstract is missing.