%0 Conference Paper %1 conf/apn/EsparzaRW21 %A Esparza, Javier %A Raskin, Mikhail A. %A Welzel, Christoph %B Petri Nets %D 2021 %E Buchs, Didier %E Carmona, Josep %I Springer %K dblp %P 141-163 %T Computing Parameterized Invariants of Parameterized Petri Nets. %U http://dblp.uni-trier.de/db/conf/apn/pn2021.html#EsparzaRW21 %V 12734 %@ 978-3-030-76983-3

@inproceedings{conf/apn/EsparzaRW21, added-at = {2022-12-07T00:00:00.000+0100}, author = {Esparza, Javier and Raskin, Mikhail A. and Welzel, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/230b69e47925881a3efbe724e7154e379/dblp}, booktitle = {Petri Nets}, crossref = {conf/apn/2021}, editor = {Buchs, Didier and Carmona, Josep}, ee = {https://doi.org/10.1007/978-3-030-76983-3_8}, interhash = {0c23754184ccc652a2ae5339ac6696be}, intrahash = {30b69e47925881a3efbe724e7154e379}, isbn = {978-3-030-76983-3}, keywords = {dblp}, pages = {141-163}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:02:41.000+0200}, title = {Computing Parameterized Invariants of Parameterized Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/pn2021.html#EsparzaRW21}, volume = 12734, year = 2021 }