A complete axiomatization of weighted branching bisimulation

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftActa Informatica
Vol/bind57
Udgave nummer3-5
Sider (fra-til)689-725
Antal sider37
ISSN0001-5903
DOI
StatusUdgivet - 1 okt. 2020

Fingeraftryk Dyk ned i forskningsemnerne om 'A complete axiomatization of weighted branching bisimulation'. Sammen danner de et unikt fingeraftryk.

Citationsformater