by Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz fronc, Lom Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Karsten Wolf
Reference:
Raw Report on the Model Checking Contest at Petri Nets 2012 (Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz fronc, Lom Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Karsten Wolf), Technical report, CoRR, 2012.
Bibtex Entry:
@TECHREPORT{mcc2012report,
author = {Kordon, Fabrice and Linard, Alban and Buchs, Didier and Colange, Maximilien and Evangelista, Sami and fronc, Lukasz and Hillah, Lom Messan and Lohmann, Niels and Paviot-Adet, Emmanuel and Pommereau, Franck and Rohr, Christian and Thierry-Mieg, Yann and Wolf, Karsten},
x-lip6teams = {MOVE},
x-lip6id = {9253},
x-international-audience = {yes},
month = {September},
title = {{Raw Report on the Model Checking Contest at Petri Nets 2012}},
year = {2012},
institution = {CoRR},
url = {http://arxiv.org/abs/1209.2382},
doi = {http://arxiv.org/abs/1209.2382}
}