Análisis de refinamientos entre sistemas de transiciones modales basado en SAT

Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.

Guardado en:

Detalles Bibliográficos
Autor principal:	Dania, Carolina Inés
Otros Autores:	Aguirre, Nazareno
Formato:	bachelorThesis
Lenguaje:	Español
Publicado:	2011
Materias:	Software/Program Verification Semantics of Programming Languages Bisimulaciones LTS Implementaciones SAT solver Alloy MTS
Acceso en línea:	http://hdl.handle.net/11086/17
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

id	I10-R141-11086-17
record_format	dspace
institution	Universidad Nacional de Córdoba
institution_str	I-10
repository_str	R-141
collection	Repositorio Digital Universitario (UNC)
language	Español
topic	Software/Program Verification Semantics of Programming Languages Bisimulaciones LTS Implementaciones SAT solver Alloy MTS
spellingShingle	Software/Program Verification Semantics of Programming Languages Bisimulaciones LTS Implementaciones SAT solver Alloy MTS Dania, Carolina Inés Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
topic_facet	Software/Program Verification Semantics of Programming Languages Bisimulaciones LTS Implementaciones SAT solver Alloy MTS
description	Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.
author2	Aguirre, Nazareno
author_facet	Aguirre, Nazareno Dania, Carolina Inés
format	bachelorThesis
author	Dania, Carolina Inés
author_sort	Dania, Carolina Inés
title	Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_short	Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_full	Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_fullStr	Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_full_unstemmed	Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
title_sort	análisis de refinamientos entre sistemas de transiciones modales basado en sat
publishDate	2011
url	http://hdl.handle.net/11086/17
work_keys_str_mv	AT daniacarolinaines analisisderefinamientosentresistemasdetransicionesmodalesbasadoensat
bdutipo_str	Repositorios
_version_	1764820391613693952

Análisis de refinamientos entre sistemas de transiciones modales basado en SAT

Ejemplares similares