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
Liburua:
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.)

Argitaletxea: Servizo de Publicacións ; Universidade de Vigo

ISBN: 84-8158-065-1

Argitalpen urtea: 1997

Orrialdeak: 321-332

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

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet