Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan. Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. In Rayna Dimitrova, Ori Lahav 0001, Sebastian Wolff 0001, editors, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I. Volume 14499 of Lecture Notes in Computer Science, pages 101-123, Springer, 2024. [doi]
@inproceedings{AmatDB24, title = {Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability}, author = {Nicolas Amat and Silvano Dal-Zilio and Didier Le Botlan}, year = {2024}, doi = {10.1007/978-3-031-50524-9_5}, url = {https://doi.org/10.1007/978-3-031-50524-9_5}, researchr = {https://researchr.org/publication/AmatDB24}, cites = {0}, citedby = {0}, pages = {101-123}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I}, editor = {Rayna Dimitrova and Ori Lahav 0001 and Sebastian Wolff 0001}, volume = {14499}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-031-50524-9}, }