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

Research areas:	Uncategorized	Year:	1997
Type of Publication:	In Proceedings
Authors:	2, 5 12
Book title:	V Jornadas de Concurrencia
Pages:	321-332
Address:	Vigo, Spain
Month:	June
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", }