BibTeX record journals/corr/abs-1807-05091

download as .bib file

@article{DBLP:journals/corr/abs-1807-05091,
  author    = {Arthur Azevedo de Amorim and
               Marco Gaboardi and
               Justin Hsu and
               Shin{-}ya Katsumata},
  title     = {Metric Semantics for Probabilistic Relational Reasoning},
  journal   = {CoRR},
  volume    = {abs/1807.05091},
  year      = {2018}
}
maintained by Schloss Dagstuhl LZI at University of Trier