Bisimulation through Probabilistic Testing

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

719 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftInformation and Computation
Vol/bind94
Udgave nummer1
Sider (fra-til)1-28
ISSN0890-5401
StatusUdgivet - 1991

Citationsformater