Abderraouf Boussif, Mohamed Ghazel, Kais Klai. Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. In Belgacem Ben Hedia, Florin Popentiu-Vladicescu, editors, Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015. Volume 1431 of CEUR Workshop Proceedings, pages 23-34, CEUR-WS.org, 2015. [doi]
@inproceedings{BoussifGK15,
title = {Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems},
author = {Abderraouf Boussif and Mohamed Ghazel and Kais Klai},
year = {2015},
url = {http://ceur-ws.org/Vol-1431/paper3.pdf},
researchr = {https://researchr.org/publication/BoussifGK15},
cites = {0},
citedby = {0},
pages = {23-34},
booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015},
editor = {Belgacem Ben Hedia and Florin Popentiu-Vladicescu},
volume = {1431},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}