Toggle Main Menu Toggle Search

Open Access padlockePrints

Constraint Oriented Specification with CSP and Real-time Logic

Lookup NU author(s): Dr Jeremy Bryans


Full text is not currently available for this publication.

Publication metadata

Author(s): Pearson J, Bryans J

Publication type: Report

Publication status: Published

Series Title:

Year: 1998

Report Number: 3-98

Institution: University of Kent at Canterbury

Place Published: Canterbury, UK