Probabilistic and Prioritized Models of Timed CSP
Gavin Lowe
Details
| Journal |
Theor. Comput. Sci. |
| Number |
2 |
| Pages |
315−352 |
| Volume |
138 |
| Year |
1995 |
Links
DOI (10.1016/0304-3975(94)00171-E)
Related pages
|
People |
|
|
Activities |