Tesis Doctoral

Regis, Germán Enrique. "Especificación formal y verificación de propiedades temporales de procesos de negocios" . (2014). Tesis Doctoral, Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.