%0 Generic %1 esparza2021computing %A Esparza, Javier %A Raskin, Mikhail %A Welzel, Christoph %D 2021 %K informal %T Computing Parameterized Invariants of Parameterized Petri Nets

@misc{esparza2021computing, added-at = {2021-04-09T15:58:43.000+0200}, archiveprefix = {arXiv}, author = {Esparza, Javier and Raskin, Mikhail and Welzel, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/284f2056f2037dbdadd4e98ed6b42be29/paves}, eprint = {2103.10280}, interhash = {0c23754184ccc652a2ae5339ac6696be}, intrahash = {84f2056f2037dbdadd4e98ed6b42be29}, keywords = {informal}, note = {https://arxiv.org/abs/2103.10280}, primaryclass = {cs.DC}, timestamp = {2023-09-24T19:41:24.000+0200}, title = {Computing Parameterized Invariants of Parameterized Petri Nets}, year = 2021 }