%0 Journal Article %1 journals/corr/abs-1209-2382 %A Kordon, Fabrice %A Linard, Alban %A Buchs, Didier %A Colange, Maximilien %A Evangelista, Sami %A Fronc, Lukasz %A Hillah, Lom-Messan %A Lohmann, Niels %A Paviot-Adet, Emmanuel %A Pommereau, Franck %A Rohr, Christian %A Thierry-Mieg, Yann %A Wimmel, Harro %A Wolf, Karsten %D 2012 %J CoRR %K %T Raw Report on the Model Checking Contest at Petri Nets 2012 %U http://dblp.uni-trier.de/db/journals/corr/corr1209.html#abs-1209-2382 %V abs/1209.2382

@article{journals/corr/abs-1209-2382, added-at = {2023-12-13T07:31:05.000+0100}, 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 Wimmel, Harro and Wolf, Karsten}, biburl = {https://www.bibsonomy.org/bibtex/2d45f4232e618b63f7a2dbf30a932a5ec/admin}, ee = {http://arxiv.org/abs/1209.2382}, interhash = {b9fc9745f9f55d349e6c65364f7d7d3b}, intrahash = {d45f4232e618b63f7a2dbf30a932a5ec}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T07:31:05.000+0100}, title = {Raw Report on the Model Checking Contest at Petri Nets 2012}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1209.html#abs-1209-2382}, volume = {abs/1209.2382}, year = 2012 }