Marcos V. Moreira, Thiago C. Jesus, João Carlos Basilio. Polynomial time verification of decentralized diagnosability of discrete event systems. In American Control Conference, ACC 2010, Baltimore, Maryland, USA, June 30 - July 2, 2010. pages 3353-3358, IEEE, 2010. [doi]
@inproceedings{MoreiraJB10, title = {Polynomial time verification of decentralized diagnosability of discrete event systems}, author = {Marcos V. Moreira and Thiago C. Jesus and João Carlos Basilio}, year = {2010}, doi = {10.1109/ACC.2010.5530928}, url = {https://doi.org/10.1109/ACC.2010.5530928}, researchr = {https://researchr.org/publication/MoreiraJB10}, cites = {0}, citedby = {0}, pages = {3353-3358}, booktitle = {American Control Conference, ACC 2010, Baltimore, Maryland, USA, June 30 - July 2, 2010}, publisher = {IEEE}, isbn = {978-1-4244-7427-1}, }