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

• Autores: Jorge García Duque, Rebeca Díaz Redondo, José Juan Pazos Arias, Alberto Gil Solla, Ana Fernández Vilas
• Localización: V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997 / coord. por Manuel J. Fernández Iglesias, Martín Llamas Nistal, José Juan Pazos Arias, 1997, ISBN 84-8158-065-1, págs. 321-332
• Idioma: español
• Texto completo no disponible (Saber más ...)