@misc{https___doi.org_10.48550_arxiv.2411.17250,
    doi = {10.48550/ARXIV.2411.17250},
    url = {https://arxiv.org/abs/2411.17250},
    author = {Blondin, Michael and Cadilhac, Michaël and Cui, Xin-Yi and Czerner, Philipp and Esparza, Javier and Schulz, Jakob},
    keywords = {Logic in Computer Science (cs.LO), Data Structures and Algorithms (cs.DS), FOS: Computer and information sciences, FOS: Computer and information sciences, F.4.3; E.1},
    title = {Weakly acyclic diagrams: A data structure for infinite-state symbolic verification},
    publisher = {arXiv},
    year = {2024},
    copyright = {Creative Commons Attribution 4.0 International},
    date-added = {2024-12-10 19:59:22 +0100}
}

@misc{https___doi.org_10.48550_arxiv.2411.17250, doi = {10.48550/ARXIV.2411.17250}, url = {https://arxiv.org/abs/2411.17250}, author = {Blondin, Michael and Cadilhac, Michaël and Cui, Xin-Yi and Czerner, Philipp and Esparza, Javier and Schulz, Jakob}, keywords = {Logic in Computer Science (cs.LO), Data Structures and Algorithms (cs.DS), FOS: Computer and information sciences, FOS: Computer and information sciences, F.4.3; E.1}, title = {Weakly acyclic diagrams: A data structure for infinite-state symbolic verification}, publisher = {arXiv}, year = {2024}, copyright = {Creative Commons Attribution 4.0 International}, date-added = {2024-12-10 19:59:22 +0100} }