Published in: OASIcs, Volume 125, 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)
Maxence Glotin, Louise Travé-Massuyès, and Elodie Chanthery. MSO Sets and MTES for Dummies. In 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024). Open Access Series in Informatics (OASIcs), Volume 125, pp. 13:1-13:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{glotin_et_al:OASIcs.DX.2024.13, author = {Glotin, Maxence and Trav\'{e}-Massuy\`{e}s, Louise and Chanthery, Elodie}, title = {{MSO Sets and MTES for Dummies}}, booktitle = {35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)}, pages = {13:1--13:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-356-0}, ISSN = {2190-6807}, year = {2024}, volume = {125}, editor = {Pill, Ingo and Natan, Avraham and Wotawa, Franz}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2024.13}, URN = {urn:nbn:de:0030-drops-221054}, doi = {10.4230/OASIcs.DX.2024.13}, annote = {Keywords: Structural analysis, MTES, MSO sets} }
Feedback for Dagstuhl Publishing