| Original language | English |
|---|---|
| Title of host publication | Proc. 18th Conference on Foundations of Software Science and Computational Structures - FOSSACS'15 |
| Publisher | Springer |
| Publication status | Published - 2015 |
Compositional metric reasoning with Probabilistic Process Calculi
D. Gebler, K. Larsen, S. Tini
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review