Mohamed Ghazel, Florent Peres. A µ-Calculus Framework for the Diagnosability of Discrete Event Systems. In Hassane Alla, Louiza Bouallouche-Medjkoune, editors, Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014. Volume 1256 of CEUR Workshop Proceedings, pages 45-56, CEUR-WS.org, 2014. [doi]
@inproceedings{GhazelP14,
title = {A µ-Calculus Framework for the Diagnosability of Discrete Event Systems},
author = {Mohamed Ghazel and Florent Peres},
year = {2014},
url = {http://ceur-ws.org/Vol-1256/paper4.pdf},
researchr = {https://researchr.org/publication/GhazelP14},
cites = {0},
citedby = {0},
pages = {45-56},
booktitle = {Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014},
editor = {Hassane Alla and Louiza Bouallouche-Medjkoune},
volume = {1256},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}