José J. Pazos Arias

发表

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

Ana Fernández Vilas, Rebeca P. Díaz Redondo, Jorge García Duque, 1997 .