Mustapha Bourahla. Model-Based Diagnostic Using Model Checking. In Fourth International Conference on Dependability of Computer Systems, DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009. pages 229-236, IEEE Computer Society, 2009. [doi]
@inproceedings{Bourahla09-0, title = {Model-Based Diagnostic Using Model Checking}, author = {Mustapha Bourahla}, year = {2009}, doi = {10.1109/DepCoS-RELCOMEX.2009.33}, url = {http://doi.ieeecomputersociety.org/10.1109/DepCoS-RELCOMEX.2009.33}, researchr = {https://researchr.org/publication/Bourahla09-0}, cites = {0}, citedby = {0}, pages = {229-236}, booktitle = {Fourth International Conference on Dependability of Computer Systems, DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-3674-3}, }