TY  - RPRT
TI  - Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
AU  - Nicolas Amat
AU  - Silvano Dal Zilio
AU  - Didier Le Botlan
PY  - 2024
DO  - 10.1007/978-3-031-50524-9_5
UR  - https://arxiv.org/abs/2401.03711
ID  - 2401.03711
ER  -