@misc{https___doi.org_10.48550_arxiv.2205.03060,
    doi = {10.48550/ARXIV.2205.03060},
    url = {https://arxiv.org/abs/2205.03060},
    author = {Esparza, Javier and Raskin, Michael and Welzel-Mohr, Christoph},
    keywords = {Distributed, Parallel, and Cluster Computing (cs.DC), Logic in Computer Science (cs.LO), FOS: Computer and information sciences, FOS: Computer and information sciences},
    title = {Regular Model Checking Upside-Down: An Invariant-Based Approach},
    publisher = {arXiv},
    year = {2022},
    copyright = {arXiv.org perpetual, non-exclusive license},
    date-added = {2024-12-10 19:49:59 +0100}
}

@misc{https___doi.org_10.48550_arxiv.2205.03060, doi = {10.48550/ARXIV.2205.03060}, url = {https://arxiv.org/abs/2205.03060}, author = {Esparza, Javier and Raskin, Michael and Welzel-Mohr, Christoph}, keywords = {Distributed, Parallel, and Cluster Computing (cs.DC), Logic in Computer Science (cs.LO), FOS: Computer and information sciences, FOS: Computer and information sciences}, title = {Regular Model Checking Upside-Down: An Invariant-Based Approach}, publisher = {arXiv}, year = {2022}, copyright = {arXiv.org perpetual, non-exclusive license}, date-added = {2024-12-10 19:49:59 +0100} }