APA (7th ed.) Citation

Blondin, M., Cadilhac, M., Cui, X., Czerner, P., Esparza, J., & Schulz, J. (2024). Weakly acyclic diagrams: A data structure for infinite-state symbolic verification.

Chicago Style (17th ed.) Citation

Blondin, Michael, Michaël Cadilhac, Xin-Yi Cui, Philipp Czerner, Javier Esparza, and Jakob Schulz. Weakly Acyclic Diagrams: A Data Structure for Infinite-state Symbolic Verification. 2024.

MLA (9th ed.) Citation

Blondin, Michael, et al. Weakly Acyclic Diagrams: A Data Structure for Infinite-state Symbolic Verification. 2024.