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
Llibre:
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

Any de publicació: 1997

Pàgines: 321-332

Congrés: Jornadas de Concurrencia (5. 1997. Vigo)

Tipus: Aportació congrés

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet