| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Logical Methods in Computer Science |
| Vol/bind | 12 |
| Udgave nummer | 4 |
| ISSN | 1860-5974 |
| DOI | |
| Status | Udgivet - 2017 |
Citer dette
@inproceedings{59ae7befd7884a79adb6a89672908c15,
title = "Compositional bisimulation metric reasoning with Probabilistic Process Calculi",
author = "Daniel Gebler and Larsen, {Kim Guldstrand} and Simone Tini",
year = "2017",
doi = "10.2168/LMCS-12(4:12)2016",
language = "English",
volume = "12",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "International Federation for Computational Logic",
number = "4",
}
Gebler, D, Larsen, KG & Tini, S 2017, 'Compositional bisimulation metric reasoning with Probabilistic Process Calculi', Logical Methods in Computer Science, bind 12, nr. 4. https://doi.org/10.2168/LMCS-12(4:12)2016
Compositional bisimulation metric reasoning with Probabilistic Process Calculi. / Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone.
I: Logical Methods in Computer Science, Bind 12, Nr. 4, 2017.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning
TY - GEN
T1 - Compositional bisimulation metric reasoning with Probabilistic Process Calculi
AU - Gebler, Daniel
AU - Larsen, Kim Guldstrand
AU - Tini, Simone
PY - 2017
Y1 - 2017
U2 - 10.2168/LMCS-12(4:12)2016
DO - 10.2168/LMCS-12(4:12)2016
M3 - Conference article in Journal
VL - 12
JO - Logical Methods in Computer Science
JF - Logical Methods in Computer Science
SN - 1860-5974
IS - 4
ER -