A temporal logic for Timed CSP

A temporal logic for Timed CSP

Bibliographic Details
Main Authors: Jackson, D, Davies, J, Reed, G, Schneider, S
Format: Report
Published: Esprit SPEC project 1990
Description
Summary:

Similar Items