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

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

Bibliographic Details
Main Author: Dania, Carolina Inés
Other Authors: Aguirre, Nazareno
Format: bachelorThesis
Language:spa
Published: 2011
Subjects:
Online Access:http://hdl.handle.net/11086/17