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