Listar por autor "Manzano Pinzón, Francisco"
Mostrando ítems 1-1 de 1
-
Lógicas temporales lineales para la verificación formal de sistemas de tiempo real
Manzano Pinzón, Francisco (Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2007)