TY  - JOUR 
T1  - Diagnose de falhas em sistemas a eventos discretos modelados por autômatos finitos
JO  - Sba: Controle & Automação Sociedade Brasileira de Automatica
A1  - Basilio, João Carlos
A1  - Carvalho, Lilian Kawakami
A1  - Moreira, Marcos Vicente
SN  - 0103-1759
UL  - 10.1590/S0103-17592010000500006
VL  - 21 
Y1  - 2010
PB  - Brasil 
ER  -