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

Áreas de investigación:	Sin categoría	Año:	1998
Tipo de publicación:	Artículo en conferencia
Autores:	2, 5 12
Título del libro:	VI Jornadas de Concurrencia.
Dirección:	Pamplona, Spain
Mes:	Junio
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", }