@inproceedings{https___doi.org_10.4230_lipics.mfcs.2025.5,
    doi = {10.4230/lipics.mfcs.2025.5},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.5},
    author = {Muscholl, Anca},
    keywords = {Distributed synthesis, monitoring, Theory of computation → Distributed computing models, Theory of computation → Verification by model checking},
    language = {en},
    title = {On Synthesis of Distributed Monitors (Invited Talk)},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2025},
    copyright = {Creative Commons Attribution 4.0 International license},
    date-added = {2025-8-24 7:16:38 +0100}
}

@inproceedings{https___doi.org_10.4230_lipics.mfcs.2025.5, doi = {10.4230/lipics.mfcs.2025.5}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.5}, author = {Muscholl, Anca}, keywords = {Distributed synthesis, monitoring, Theory of computation → Distributed computing models, Theory of computation → Verification by model checking}, language = {en}, title = {On Synthesis of Distributed Monitors (Invited Talk)}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2025}, copyright = {Creative Commons Attribution 4.0 International license}, date-added = {2025-8-24 7:16:38 +0100} }

Library Size: 13G (12942 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge