A temporal logic for Timed CSP

A temporal logic for Timed CSP

Detalles Bibliográficos
Main Authors: Jackson, D, Davies, J, Reed, G, Schneider, S
Formato: Report
Publicado: Esprit SPEC project 1990
Descripción
Summary:

Títulos similares