%0 Journal Article %1 journals/corr/abs-2012-14199 %A Clavel, Daniel %A Mahulea, Cristian %A Silva, Manuel %D 2020 %J CoRR %K dblp %T On Liveness Enforcement of Distributed Petri Net Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-14199 %V abs/2012.14199

@article{journals/corr/abs-2012-14199, added-at = {2021-01-05T00:00:00.000+0100}, author = {Clavel, Daniel and Mahulea, Cristian and Silva, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/2eedad18f72a4269ec3893413901c9299/dblp}, ee = {https://arxiv.org/abs/2012.14199}, interhash = {51709fc09c1fa1d9391e8e2607378ae2}, intrahash = {eedad18f72a4269ec3893413901c9299}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:09:41.000+0200}, title = {On Liveness Enforcement of Distributed Petri Net Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-14199}, volume = {abs/2012.14199}, year = 2020 }