Chapter
The Design of a Tool-Supported Graphical Notation for Timed CSP
Authors
Brooke PJ; Paige RF
Book title
Integrated Formal Methods
Editors
Goos G; Hartmanis J; van Leeuwen J; Butler M; Petre L; Sere K
Volume
2335
Pagination
pp. 299-318
Publisher
Springer Berlin Heidelberg
Publication Date
January 1, 2002
DOI
10.1007/3-540-47884-1_17