Castiglioni, V., Gebler, D., & Tini, S. (2016). Logical Characterization of Bisimulation Metrics. Electronic proceedings in theoretical computer science, 227(Proc. QAPL 2016), 44-62. https://doi.org/10.4204/EPTCS.227.4
Chicago-Zitierstil (17. Ausg.)Castiglioni, Valentina, Daniel Gebler, und Simone Tini. "Logical Characterization of Bisimulation Metrics." Electronic Proceedings in Theoretical Computer Science 227, no. Proc. QAPL 2016 (2016): 44-62. https://doi.org/10.4204/EPTCS.227.4.
MLA-Zitierstil (9. Ausg.)Castiglioni, Valentina, et al. "Logical Characterization of Bisimulation Metrics." Electronic Proceedings in Theoretical Computer Science, vol. 227, no. Proc. QAPL 2016, 2016, pp. 44-62, https://doi.org/10.4204/EPTCS.227.4.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.