%0 Journal Article %1 journals/topnoc/KordonLBCELLPTW12 %A Kordon, Fabrice %A Linard, Alban %A Buchs, Didier %A Colange, Maximilien %A Evangelista, Sami %A Lampka, Kai %A Lohmann, Niels %A Paviot-Adet, Emmanuel %A Thierry-Mieg, Yann %A Wimmel, Harro %B Trans. Petri Nets and Other Models of Concurrency %D 2012 %E Jensen, Kurt %E van der Aalst, Wil M. P. %E Marsan, Marco Ajmone %E Franceschinis, Giuliana %E Kleijn, Jetty %E Kristensen, Lars Michael %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 169-196 %T Report on the Model Checking Contest at Petri Nets 2011. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc6.html#KordonLBCELLPTW12 %V 6 %@ 978-3-642-35178-5

@article{journals/topnoc/KordonLBCELLPTW12, added-at = {2020-03-13T00:00:00.000+0100}, author = {Kordon, Fabrice and Linard, Alban and Buchs, Didier and Colange, Maximilien and Evangelista, Sami and Lampka, Kai and Lohmann, Niels and Paviot-Adet, Emmanuel and Thierry-Mieg, Yann and Wimmel, Harro}, biburl = {https://www.bibsonomy.org/bibtex/245021398a8fcff1dd67fd727adc7f5d6/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2012-6}, editor = {Jensen, Kurt and van der Aalst, Wil M. P. and Marsan, Marco Ajmone and Franceschinis, Giuliana and Kleijn, Jetty and Kristensen, Lars Michael}, ee = {https://doi.org/10.1007/978-3-642-35179-2_8}, interhash = {b8358021310d51ba6898b8e5a136d412}, intrahash = {45021398a8fcff1dd67fd727adc7f5d6}, isbn = {978-3-642-35178-5}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {169-196}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-14T12:18:35.000+0100}, title = {Report on the Model Checking Contest at Petri Nets 2011.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc6.html#KordonLBCELLPTW12}, volume = 6, year = 2012 }