| Original language | English |
|---|---|
| Title of host publication | CONCUR'92 |
| Editors | Cleaveland, W.R. (ed.) |
| Publication date | 1992 |
| Publication status | Published - 1992 |
Compositional Verification of Probabilistic Processes
Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research
65
Citations
(Scopus)