Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Daniel Gebler, Kim Guldstrand Larsen, Simone Tini

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

20 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftLogical Methods in Computer Science
Vol/bind12
Udgave nummer4
ISSN1860-5974
DOI
StatusUdgivet - 2017

Citationsformater