@inproceedings{https://doi.org/10.4230/lipics.concur.2022.12,
    doi = {10.4230/LIPICS.CONCUR.2022.12},
    url = {https://drops.dagstuhl.de/opus/volltexte/2022/17075/},
    author = {Herbreteau, Frédéric and Srivathsan, B. and Walukiewicz, Igor},
    keywords = {Timed Büchi automata, local-time semantics, zones, abstraction, partial-order reduction, Theory of computation → Verification by model checking},
    language = {en},
    title = {Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
    year = {2022},
    copyright = {Creative Commons Attribution 4.0 International license},
    date-added = {2023-11-23 8:27:54 +0100}
}

@inproceedings{https://doi.org/10.4230/lipics.concur.2022.12, doi = {10.4230/LIPICS.CONCUR.2022.12}, url = {https://drops.dagstuhl.de/opus/volltexte/2022/17075/}, author = {Herbreteau, Frédéric and Srivathsan, B. and Walukiewicz, Igor}, keywords = {Timed Büchi automata, local-time semantics, zones, abstraction, partial-order reduction, Theory of computation → Verification by model checking}, language = {en}, title = {Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, year = {2022}, copyright = {Creative Commons Attribution 4.0 International license}, date-added = {2023-11-23 8:27:54 +0100} }