%0 Conference Paper %1 conf/apn/ColangeBKT11 %A Colange, Maximilien %A Baarir, Souheib %A Kordon, Fabrice %A Thierry-Mieg, Yann %B Petri Nets %D 2011 %E Kristensen, Lars Michael %E Petrucci, Laure %I Springer %K dblp %P 338-347 %T Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. %U http://dblp.uni-trier.de/db/conf/apn/pn2011.html#ColangeBKT11 %V 6709 %@ 978-3-642-21833-0

@inproceedings{conf/apn/ColangeBKT11, added-at = {2018-11-02T00:00:00.000+0100}, author = {Colange, Maximilien and Baarir, Souheib and Kordon, Fabrice and Thierry-Mieg, Yann}, biburl = {https://www.bibsonomy.org/bibtex/2d032a0a20d45edf7826753356dc49fae/dblp}, booktitle = {Petri Nets}, crossref = {conf/apn/2011}, editor = {Kristensen, Lars Michael and Petrucci, Laure}, ee = {https://doi.org/10.1007/978-3-642-21834-7_20}, interhash = {f665805fd47f0b6a4651619b244c9c7b}, intrahash = {d032a0a20d45edf7826753356dc49fae}, isbn = {978-3-642-21833-0}, keywords = {dblp}, pages = {338-347}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:59:13.000+0200}, title = {Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag.}, url = {http://dblp.uni-trier.de/db/conf/apn/pn2011.html#ColangeBKT11}, volume = 6709, year = 2011 }