TY  - RPRT
TI  - Raw Report on the Model Checking Contest at Petri Nets 2012
AU  - F. Kordon
AU  - A. Linard
AU  - D. Buchs
AU  - M. Colange
AU  - S. Evangelista
AU  - L. Fronc
AU  - L. M. Hillah
AU  - N. Lohmann
AU  - E. Paviot-Adet
AU  - F Pommereau
AU  - C. Rohr
AU  - Y. Thierry-Mieg
AU  - H. Wimmel
AU  - K. Wolf
PY  - 2012
UR  - https://arxiv.org/abs/1209.2382
ID  - 1209.2382
ER  -