The Design of a Tool-Supported Graphical Notation for Timed CSP (2002)

Cached

Download Links

by Phillip J. Brooke , Richard F. Palge
Venue:In Proc. Integrated Formal Methods 2002 (IFM’02
Citations:3 - 0 self

Document Versions

The Design of a Tool-Supported Graphical Notation for Timed CSP –Phillip J. Brooke, Richard F. Palge — 2002 — In Proc. Integrated Formal Methods 2002 (IFM’02