@misc{indiciae878f36917c5e,
  title = {Raw Report on the Model Checking Contest at Petri Nets 2012},
  author = {F. Kordon and A. Linard and D. Buchs and M. Colange and S. Evangelista and L. Fronc and L. M. Hillah and N. Lohmann and E. Paviot-Adet and F Pommereau and C. Rohr and Y. Thierry-Mieg and H. Wimmel and K. Wolf},
  year = {2012},
  url = {https://arxiv.org/abs/1209.2382},
  note = {Source identifier: 1209.2382}
}