TY - CPAPER TI - Ferramenta computacional, baseada em lógica linear, para a análise de sistemas a eventos discretos PY - 2005 AU - Mazzariol, Leonardo Monteiro AU - Villani, Emília AU - Miyagi, Paulo Eigi T2 - Simpósio Internacional de Iniciação Científica da Universidade de São Paulo J2 - 13 SIICUSP 2005: resumos UR - http://www.usp.br/siicusp/13osiicusp/aprovados/index01.htm PP - São Paulo PB - Universidade de São Paulo ER -