Una lógica temporal causal para la especificación de requisitos funcionales de un sistema distribuido

  1. García Duque, Jorge
  2. Díaz Redondo, Rebeca
  3. Pazos Arias, José Juan
  4. Gil Solla, Alberto
  5. Fernández Vilas, Ana
Libro:
V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997
  1. Fernández Iglesias, Manuel J. (coord.)
  2. Llamas Nistal, Martín (coord.)
  3. Pazos Arias, José Juan (coord.)

Editorial: Servizo de Publicacións ; Universidade de Vigo

ISBN: 84-8158-065-1

Año de publicación: 1997

Páginas: 321-332

Congreso: Jornadas de Concurrencia (5. 1997. Vigo)

Tipo: Aportación congreso