Título : Especificación formal y verificación de propiedades temporales de procesos de negocios
Formal specification and temporal properties verification of business processes
Editorial : Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires
Fecha de publicación : 2014
metadata.dc.source.uri: http://digital.bl.fcen.uba.ar/gsdl-282/cgi-bin/library.cgi?a=d&c=tesis&d=Tesis_5429_Regis
URI : http://10.0.0.11:8080/jspui/handle/bnmm/74988
Aparece en las colecciones: FCEN - Facultad de Ciencias Exactas y Naturales. UBA

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