| Originalsprog | Engelsk |
|---|---|
| Titel | CONCUR'92 |
| Redaktører | Cleaveland, W.R. (ed.) |
| Publikationsdato | 1992 |
| Status | Udgivet - 1992 |
Compositional Verification of Probabilistic Processes
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning
65
Citationer
(Scopus)