%0 Conference Paper %1 conf/concur/KonigM18 %A König, Barbara %A Mika-Michalski, Christina %B CONCUR %D 2018 %E Schewe, Sven %E Zhang, Lijun %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 37:1-37:17 %T (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras. %U http://dblp.uni-trier.de/db/conf/concur/concur2018.html#KonigM18 %V 118 %@ 978-3-95977-087-3

@inproceedings{conf/concur/KonigM18, added-at = {2023-12-13T01:26:21.000+0100}, author = {König, Barbara and Mika-Michalski, Christina}, biburl = {https://www.bibsonomy.org/bibtex/23094aa801170f51a17fb9e32b702b1d2/admin}, booktitle = {CONCUR}, crossref = {conf/concur/2018}, editor = {Schewe, Sven and Zhang, Lijun}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.37}, interhash = {7193a6114a42c5e3e3d31e9b38c2eee8}, intrahash = {3094aa801170f51a17fb9e32b702b1d2}, isbn = {978-3-95977-087-3}, keywords = {}, pages = {37:1-37:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-13T01:26:21.000+0100}, title = {(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2018.html#KonigM18}, volume = 118, year = 2018 }