A temporal logic for Timed CSP
D.M. Jackson‚ J.W. Davies‚ G.M. Reed and S.A. Schneider
Details
| Institution |
Esprit SPEC project |
| Year |
1990 |
Links
Related pages
|
People |
|
|
Activities |