Browsing Cinvestav-GUADALAJARA by Subject "Computer systems"
Now showing items 1-1 of 1
-
Reparación de redes de Petri para satisfacer propiedades en CTL
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2014)