%0 Conference Paper %1 conf/apn/DeselFF20 %A Desel, Jörg %A Finthammer, Marc %A Frank, Andrea %B Petri Nets %D 2020 %E Janicki, Ryszard %E Sidorova, Natalia %E Chatain, Thomas %I Springer %K dblp %P 392-402 %T Cycl$$n - A Tool for Determining Stop-Transitions of Petri Nets. %U http://dblp.uni-trier.de/db/conf/apn/pn2020.html#DeselFF20 %V 12152 %@ 978-3-030-51831-8

@inproceedings{conf/apn/DeselFF20, added-at = {2020-06-30T00:00:00.000+0200}, author = {Desel, Jörg and Finthammer, Marc and Frank, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/2339def7afd4bc26e99fd54ddeb12ca20/dblp}, booktitle = {Petri Nets}, crossref = {conf/apn/2020}, editor = {Janicki, Ryszard and Sidorova, Natalia and Chatain, Thomas}, ee = {https://doi.org/10.1007/978-3-030-51831-8_20}, interhash = {9ca8fb148933e70d7c305691239defab}, intrahash = {339def7afd4bc26e99fd54ddeb12ca20}, isbn = {978-3-030-51831-8}, keywords = {dblp}, pages = {392-402}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-01T11:49:30.000+0200}, title = {Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/pn2020.html#DeselFF20}, volume = 12152, year = 2020 }