TY  - JOUR 
T1  - Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos
JO  - Sba: Controle & Automação Sociedade Brasileira de Automatica
A1  - Pena, Patrícia N.
A1  - Cunha, Antonio E.C.
A1  - Cury, José E. R.
A1  - Lafortune, Stéphane
SN  - 0103-1759
UL  - 10.1590/S0103-17592010000100005
VL  - 21 
Y1  - 2010
PB  - Brasil 
ER  -