External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Probabilistic Relational Reasoning via Metrics

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata. Probabilistic Relational Reasoning via Metrics. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. pages 1-19, IEEE, 2019. [doi]

Authors

Arthur Azevedo de Amorim

This author has not been identified. Look up 'Arthur Azevedo de Amorim' in Google

Marco Gaboardi

This author has not been identified. Look up 'Marco Gaboardi' in Google

Justin Hsu

This author has not been identified. Look up 'Justin Hsu' in Google

Shin-ya Katsumata

This author has not been identified. Look up 'Shin-ya Katsumata' in Google
runs on