%0 Conference Paper %1 conf/apn/HeinerST09 %A Heiner, Monika %A Schwarick, Martin %A Tovchigrechko, Alexej %B Petri Nets %D 2009 %E Franceschinis, Giuliana %E Wolf, Karsten %I Springer %K dblp %P 323-332 %T DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. %U http://dblp.uni-trier.de/db/conf/apn/pn2009.html#HeinerST09 %V 5606 %@ 978-3-642-02423-8

@inproceedings{conf/apn/HeinerST09, added-at = {2019-06-02T00:00:00.000+0200}, author = {Heiner, Monika and Schwarick, Martin and Tovchigrechko, Alexej}, biburl = {https://www.bibsonomy.org/bibtex/2a458e30ec15d8c5bf7effea58215755e/dblp}, booktitle = {Petri Nets}, crossref = {conf/apn/2009}, editor = {Franceschinis, Giuliana and Wolf, Karsten}, ee = {https://www.wikidata.org/entity/Q63241830}, interhash = {30a3675e4d749fd3707bd3786331d632}, intrahash = {a458e30ec15d8c5bf7effea58215755e}, isbn = {978-3-642-02423-8}, keywords = {dblp}, pages = {323-332}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:18:27.000+0200}, title = {DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/pn2009.html#HeinerST09}, volume = 5606, year = 2009 }