%0 Journal Article %1 journals/corr/KordonLBBFHHLLMPPRRTWW13 %A Kordon, Fabrice %A Linard, Alban %A Beccuti, Marco %A Buchs, Didier %A Fronc, Lukasz %A Hillah, Lom-Messan %A Hulin-Hubard, Francis %A Legond-Aubry, Fabrice %A Lohmann, Niels %A Marechal, Alexis %A Paviot-Adet, Emmanuel %A Pommereau, Franck %A Rodríguez, César %A Rohr, Christian %A Thierry-Mieg, Yann %A Wimmel, Harro %A Wolf, Karsten %D 2013 %J CoRR %K %T Model Checking Contest @ Petri Nets, Report on the 2013 edition. %U http://dblp.uni-trier.de/db/journals/corr/corr1309.html#KordonLBBFHHLLMPPRRTWW13 %V abs/1309.2485

@article{journals/corr/KordonLBBFHHLLMPPRRTWW13, added-at = {2023-12-13T08:43:24.000+0100}, author = {Kordon, Fabrice and Linard, Alban and Beccuti, Marco and Buchs, Didier and Fronc, Lukasz and Hillah, Lom-Messan and Hulin-Hubard, Francis and Legond-Aubry, Fabrice and Lohmann, Niels and Marechal, Alexis and Paviot-Adet, Emmanuel and Pommereau, Franck and Rodríguez, César and Rohr, Christian and Thierry-Mieg, Yann and Wimmel, Harro and Wolf, Karsten}, biburl = {https://www.bibsonomy.org/bibtex/2888a61532b2289b9dfe930c0abfd2cc2/admin}, ee = {http://arxiv.org/abs/1309.2485}, interhash = {c6a4b445dcf5b77a3c1902a99312f528}, intrahash = {888a61532b2289b9dfe930c0abfd2cc2}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T08:43:24.000+0100}, title = {Model Checking Contest @ Petri Nets, Report on the 2013 edition.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1309.html#KordonLBBFHHLLMPPRRTWW13}, volume = {abs/1309.2485}, year = 2013 }