MODEL CHEKING AND MODEL EXTRACTION - Proyecto de Grado
Código:
300
Autor(es):
Rodriguez Yakushev Alexey Luis
Area(s):
Teoría de la Computación
Gestión de Inicio:
1/2004
Gestión de Conclusión:
1/2005
Modalidad:
Proyecto de Grado
Carrera:
Licenciatura en Ingenieria Informática