Carla Seatzu. Fault Diagnosis of Discrete Event Systems Using Petri Nets. 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 12-15, CEUR-WS.org, 2014. [doi]
@inproceedings{Seatzu14, title = {Fault Diagnosis of Discrete Event Systems Using Petri Nets}, author = {Carla Seatzu}, year = {2014}, url = {http://ceur-ws.org/Vol-1256/inv2.pdf}, researchr = {https://researchr.org/publication/Seatzu14}, cites = {0}, citedby = {0}, pages = {12-15}, 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}, }