Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions (bibtex)

by Paul Wild and Lutz Schröder

Reference:

Paul Wild and Lutz Schröder: Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions, In Igor Konnov, Laura Kovács, eds.: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), LIPIcs, vol. 171, pp. 27:1–27:23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

Bibtex Entry:

@string{lipics="LIPIcs"}
@inproceedings{DBLP:conf/concur/WildS20,
  author    = {Paul Wild and
               Lutz Schr{\"{o}}der},
  editor    = {Igor Konnov and
               Laura Kov{\'{a}}cs},
  title     = {Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions},
  booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
               September 1-4, 2020, Vienna, Austria (Virtual Conference)},
  series    = {LIPIcs},
  volume    = {171},
  pages     = {27:1--27:23},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2020},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.27},
  doi       = {10.4230/LIPIcs.CONCUR.2020.27},
  timestamp = {Sun, 25 Jul 2021 11:47:11 +0200},
  biburl    = {https://dblp.org/rec/conf/concur/WildS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}