Conferences

Year: 1993

  • Especificación y Transformación de las Propiedades de un Programa LOTOS
    Pazos Arias, J. J. & Delgado Kloos, C (1993). In III Jornadas de Telecom I+D, pages 25-38. Madrid, Spain.
  • Síntesis de programas LOTOS a partir de la especificación de sus propiedades
    Pazos Arias, J. J. & Delgado Kloos, C (1993). In III Jornadas de Concurrencia, pages 25-38. Gandía, Spain.

Year: 1990

  • Formalización de propiedades de procesos LOTOS con Lógica Temporal
    Delgado Kloos, C. & Pazos Arias, J. J (1990). In II Jornadas de Concurrencia. Palma de Mallorca, Spain.