Model Checking Contest @ Petri Nets‚ Report on the 2013 edition (CoRR, 2013)

(untitled) - Kordon, F; Linard, A; Beccuti, M; Buchs, D; Fronc, L; Hillah, L; Hulin−Hubard, F; Legond−Aubry, F; Lohmann, N; Marechal, A; Paviot−Adet, E; Pommereau, F; et al.