Timed CSP: Theory and Practice
Steve Schneider‚ Jim Davies‚ D. M. Jackson‚ George M. Reed‚ Joy N. Reed and A. W. Roscoe
Details
| Crossref |
DBLP:conf/rex/1991 |
| Pages |
640−675 |
| Year |
1991 |
Links
Related pages
|
People |