%0 Conference Paper %1 conf/forte/MennickeSG14 %A Mennicke, Stephan %A Schicke-Uffmann, Jens-Wolfhard %A Goltz, Ursula %B FORTE %D 2014 %E Ábrahám, Erika %E Palamidessi, Catuscia %I Springer %K %P 232-248 %T On the Step Branching Time Closure of Free-Choice Petri Nets. %U http://dblp.uni-trier.de/db/conf/forte/forte2014.html#MennickeSG14 %V 8461 %@ 978-3-662-43612-7

@inproceedings{conf/forte/MennickeSG14, added-at = {2023-12-13T09:34:50.000+0100}, author = {Mennicke, Stephan and Schicke-Uffmann, Jens-Wolfhard and Goltz, Ursula}, biburl = {https://www.bibsonomy.org/bibtex/25ae4d8b402f53c972dda43e5e662e38c/admin}, booktitle = {FORTE}, crossref = {conf/forte/2014}, editor = {Ábrahám, Erika and Palamidessi, Catuscia}, ee = {https://doi.org/10.1007/978-3-662-43613-4_15}, interhash = {cf5bbdbfaf92ff99503a1c7157f61baf}, intrahash = {5ae4d8b402f53c972dda43e5e662e38c}, isbn = {978-3-662-43612-7}, keywords = {}, pages = {232-248}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T09:34:50.000+0100}, title = {On the Step Branching Time Closure of Free-Choice Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2014.html#MennickeSG14}, volume = 8461, year = 2014 }