TY  - THES
T1  - TRIO o cómo ahora las tautologías son tautologías y el infinito es infinito
A1  - Turquie, Isaac Carlos
A2  - Felder, Miguel A.
LA  - Spanish
YR  - 1996
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dun.51316
OP  - 181
KW  - SISTEMAS DE TIEMPO REAL
KW  - CHEQUEO DE MODELOS
KW  - VERIFICACIÓN DE PROGRAMAS
ER  -