Una Lógica Temporal Causal para la Especificación de Requisitos Funcionales de un Sistema Distribuido

Áreas de investigación:	Sin categoría	Año:	1997
Tipo de publicación:	Artículo en conferencia
Autores:	2, 5 12
Título del libro:	V Jornadas de Concurrencia
Páginas:	321-332
Dirección:	Vigo, Spain
Mes:	Junio
BibTex:
@conference{PGGDF97, author = "2,12,5,3,4", address = "Vigo, Spain", booktitle = "V Jornadas de Concurrencia", month = "jun", pages = "321--332", title = "{U}na {L}{\'o}gica {T}emporal {C}ausal para la {E}specificaci{\'o}n de {R}equisitos {F}uncionales de un {S}istema {D}istribuido", year = "1997", }