%0 Journal Article %1 journals/corr/GeblerLT16 %A Gebler, Daniel %A Larsen, Kim G. %A Tini, Simone %D 2016 %J Logical Methods in Computer Science %K dblp %N 4 %T Compositional bisimulation metric reasoning with Probabilistic Process Calculi. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#GeblerLT16 %V 12

@article{journals/corr/GeblerLT16, added-at = {2019-09-25T00:00:00.000+0200}, author = {Gebler, Daniel and Larsen, Kim G. and Tini, Simone}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d315ba88c5b83151fd5026d37c783512/dblp}, ee = {http://arxiv.org/abs/1610.06162}, interhash = {800403774917ba6fbf8b3b76260a91f4}, intrahash = {d315ba88c5b83151fd5026d37c783512}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 4, timestamp = {2019-09-27T10:11:21.000+0200}, title = {Compositional bisimulation metric reasoning with Probabilistic Process Calculi.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#GeblerLT16}, volume = 12, year = 2016 }