Listar Cinvestav-GUADALAJARA por autor "Pérez Banderas, Germán"
Mostrando ítems 1-1 de 1
-
Comprobación de modelos explícita basada en autómatas de Búchi y lógica temporal lineal
Pérez Banderas, Germán (Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)