Comunicaciones a congresos

Año: 1990

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