| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Information and Computation |
| Vol/bind | 94 |
| Udgave nummer | 1 |
| Sider (fra-til) | 1-28 |
| ISSN | 0890-5401 |
| Status | Udgivet - 1991 |
Bisimulation through Probabilistic Testing
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
831
Citationer
(Scopus)