@misc{https___doi.org_10.48550_arxiv.2411.16921,
    doi = {10.48550/ARXIV.2411.16921},
    url = {https://arxiv.org/abs/2411.16921},
    author = {Herbreteau, Frédéric and Larroze-Jardiné, Sarah and Point, Gérald and Walukiewicz, Igor},
    keywords = {Logic in Computer Science (cs.LO), FOS: Computer and information sciences, FOS: Computer and information sciences},
    title = {Revisiting Stateful Partial-Order Reduction},
    publisher = {arXiv},
    year = {2024},
    copyright = {Creative Commons Attribution Non Commercial No Derivatives 4.0 International},
    date-added = {2024-12-10 19:58:59 +0100}
}

@misc{https___doi.org_10.48550_arxiv.2411.16921, doi = {10.48550/ARXIV.2411.16921}, url = {https://arxiv.org/abs/2411.16921}, author = {Herbreteau, Frédéric and Larroze-Jardiné, Sarah and Point, Gérald and Walukiewicz, Igor}, keywords = {Logic in Computer Science (cs.LO), FOS: Computer and information sciences, FOS: Computer and information sciences}, title = {Revisiting Stateful Partial-Order Reduction}, publisher = {arXiv}, year = {2024}, copyright = {Creative Commons Attribution Non Commercial No Derivatives 4.0 International}, date-added = {2024-12-10 19:58:59 +0100} }