%0 Conference Paper %1 conf/apn/AmatDB23 %A Amat, Nicolas %A Dal-Zilio, Silvano %A Botlan, Didier Le %B Petri Nets %D 2023 %E Gomes, Luís %E Lorenz, Robert %I Springer %K dblp %P 324-345 %T Automated Polyhedral Abstraction Proving. %U http://dblp.uni-trier.de/db/conf/apn/pn2023.html#AmatDB23 %V 13929 %@ 978-3-031-33620-1

@inproceedings{conf/apn/AmatDB23, added-at = {2023-06-02T00:00:00.000+0200}, author = {Amat, Nicolas and Dal-Zilio, Silvano and Botlan, Didier Le}, biburl = {https://www.bibsonomy.org/bibtex/2ea482c1ab93672be6f2e8b8a6e842b49/dblp}, booktitle = {Petri Nets}, crossref = {conf/apn/2023}, editor = {Gomes, Luís and Lorenz, Robert}, ee = {https://doi.org/10.1007/978-3-031-33620-1_18}, interhash = {f9215b45aa787227aca35808e2d34e69}, intrahash = {ea482c1ab93672be6f2e8b8a6e842b49}, isbn = {978-3-031-33620-1}, keywords = {dblp}, pages = {324-345}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:02:35.000+0200}, title = {Automated Polyhedral Abstraction Proving.}, url = {http://dblp.uni-trier.de/db/conf/apn/pn2023.html#AmatDB23}, volume = 13929, year = 2023 }