@inproceedings{https___doi.org_10.4230_lipics.mfcs.2021.58,
    doi = {10.4230/LIPICS.MFCS.2021.58},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2021.58},
    author = {Hausmann, Daniel and Milius, Stefan and Schröder, Lutz},
    keywords = {Model checking, linear-time logic, nominal sets, Theory of computation → Modal and temporal logics, Theory of computation → Verification by model checking},
    language = {en},
    title = {A Linear-Time Nominal {$\mu$}-Calculus with Name Allocation},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2021},
    copyright = {Creative Commons Attribution 4.0 International license},
    date-added = {2024-9-23 16:25:45 +0100}
}

@inproceedings{https___doi.org_10.4230_lipics.mfcs.2021.58, doi = {10.4230/LIPICS.MFCS.2021.58}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2021.58}, author = {Hausmann, Daniel and Milius, Stefan and Schröder, Lutz}, keywords = {Model checking, linear-time logic, nominal sets, Theory of computation → Modal and temporal logics, Theory of computation → Verification by model checking}, language = {en}, title = {A Linear-Time Nominal {$\mu$}-Calculus with Name Allocation}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2021}, copyright = {Creative Commons Attribution 4.0 International license}, date-added = {2024-9-23 16:25:45 +0100} }