Tesis Doctoral

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