Florent Peres, Mohamed Ghazel. A µ-calculus formulation of the diagnosability of discrete event systems. IJCCBS, 6(4):275-301, 2016. [doi]
@article{PeresG16,
title = {A µ-calculus formulation of the diagnosability of discrete event systems},
author = {Florent Peres and Mohamed Ghazel},
year = {2016},
doi = {10.1504/IJCCBS.2016.081806},
url = {http://dx.doi.org/10.1504/IJCCBS.2016.081806},
researchr = {https://researchr.org/publication/PeresG16},
cites = {0},
citedby = {0},
journal = {IJCCBS},
volume = {6},
number = {4},
pages = {275-301},
}