Título : Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
Fecha de publicación : 2009
metadata.dc.source.uri: http://hdl.handle.net/11086/17
URI : http://rodna.bn.gov.ar/jspui/handle/bnmm/566668
Aparece en las colecciones: Universidad Nacional de Córdoba. Repositorio Digital Universitario

Ficheros en este ítem:
No hay ficheros asociados a este ítem.