Blondin, M., Cadilhac, M., Cui, X., Czerner, P., Esparza, J., & Schulz, J. (2024). Weakly acyclic diagrams: A data structure for infinite-state symbolic verification.
Style de citation Chicago (17e éd.)Blondin, Michael, Michaël Cadilhac, Xin-Yi Cui, Philipp Czerner, Javier Esparza, et Jakob Schulz. Weakly Acyclic Diagrams: A Data Structure for Infinite-state Symbolic Verification. 2024.
Style de citation MLA (9e éd.)Blondin, Michael, et al. Weakly Acyclic Diagrams: A Data Structure for Infinite-state Symbolic Verification. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.