Timed CSP: theory and practice
A. W. Roscoe‚ J.Davies‚ D.Jackson‚ G.M.Reed‚ J.Reed and S.A. Schneider
Details
| Book Title |
Proceedings of REX Workshop |
| Publisher |
LNCS |
| Volume |
600 |
| Year |
1992 |
Links
Related pages
|
People |
|
|
Activities |