APA (7th ed.) Citation

Amat, N., Zilio, S. D., & Botlan, D. L. (2024). Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.

Chicago Style (17th ed.) Citation

Amat, Nicolas, Silvano Dal Zilio, and Didier Le Botlan. Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. 2024.

MLA (9th ed.) Citation

Amat, Nicolas, et al. Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. 2024.