LTCSuna lógica temporal causal para la especificación y verificación de requisitos funcionales de un sistema distribuido
- Pazos Arias, José Juan
- García Duque, Jorge
- Gil Solla, Alberto
- Díaz Redondo, Rebeca
- Fernández Vilas, Ana
Argitaletxea: Universidad Pública de Navarra = Nafarroako Unibertsitate Publikoa
Argitalpen urtea: 1998
Orrialdeak: 105-116
Biltzarra: Jornadas de Concurrencia (6. 1998. Pamplona)
Mota: Biltzar ekarpena