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

Ano de publicación: 1997

Páxinas: 321-332

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

Tipo: Achega congreso

DIALNET GOOGLE SCHOLAR
Fonte de datos: Dialnet