APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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