(Metric) Bisimulation Games and Real-Valued Modal Logics for ...
Reference
Barbara König and Christina Mika-Michalski. (Metric) bisimulation games and real-valued modal logics for coalgebras. In Proc. of CONCUR '18, volume 118 of LIPIcs, pages 37:1–37:17. Schloss Dagstuhl – Leibniz Center for Informatics, 2018.
Suggested BibTeX entry:
@inproceedings{KM18a,
author = {Barbara K{\"o}nig and Christina Mika-Michalski},
booktitle = {Proc. of CONCUR '18},
pages = {37:1--37:17},
publisher = {Schloss Dagstuhl -- Leibniz Center for Informatics},
series = {{LIPIcs}},
title = {({Metric}) Bisimulation Games and Real-Valued Modal Logics for Coalgebras},
volume = {118},
year = {2018}
}
