TY  - JOUR
T1  - Lógica temporal en verificación de modelos de software : Origen y evolución hasta tiempos actuales
JF  - Fundamentos en humanidades.
VO  - Vol. 11 (2010),151-162 11
A1  - Garis, Ana Gabriela
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dhu.MANI21428
KW  - Aplicaciones de las computadoras
KW  - Procesamiento de datos
ER  -