Listar Computación por autor "Martínez Araiza, Ulises"
Mostrando ítems 1-1 de 1
-
Reparación de redes de Petri para satisfacer propiedades en CTL
Martínez Araiza, Ulises (Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2014)