Browsing Cinvestav-GUADALAJARA by Author "Venegas Moreno, Juan José"
Now showing items 1-1 of 1
-
Síntesis de controladores de procedimientos para una clase de especificaciones de seguridad utilizando técnicas de cálculo incremental explícito
Venegas Moreno, Juan José (Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2002)