@InProceedings{doberkat_et_al:DagSemProc.09502.1,
author = {Doberkat, Ernst-Erich and Kurz, Alexander},
title = {{09502 Abstracts Collection – Coalgebraic Logics}},
booktitle = {Coalgebraic Logics},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {9502},
editor = {Ernst-Erich Doberkat and Alexander Kurz},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09502.1},
URN = {urn:nbn:de:0030-drops-24203},
doi = {10.4230/DagSemProc.09502.1},
annote = {Keywords: Modal logics, coalgebras, bisimulation and behavioral equivalence, relations, Markov transition systems}
}