| Originalsprog | Engelsk |
|---|---|
| Titel | CONCUR'92 |
| Redaktører | Cleaveland, W.R. (ed.) |
| Publikationsdato | 1992 |
| Status | Udgivet - 1992 |
Citationsformater
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Compositional Verification of Probabilistic Processes
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning
64
Link åbnes på en ny fane
Citationer
(Scopus)