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

Research areas:	Uncategorized	Year:	1998
Type of Publication:	In Proceedings
Authors:	2, 5 12
Book title:	VI Jornadas de Concurrencia.
Address:	Pamplona, Spain
Month:	June
BibTex:
@conference{PGGDF98, author = "2,12,5,3,4", address = "Pamplona, Spain", booktitle = "VI Jornadas de Concurrencia.", month = "jun", title = "{LCTS}: {U}na {L}{\'o}gica {T}emporal {C}ausal para la {E}specificaci{\'o}n y {V}erificaci{\'o}n de {R}equisitos {F}uncionales de un {S}istema {D}istribuido", year = "1998", }