TY - GEN
AU - Doberkat, Ernst-Erich
AU - Kurz, Alexander
AU - Ernst-Erich Doberkat and Alexander Kurz
TI - 09502 Abstracts Collection – Coalgebraic Logics
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - relations
KW - bisimulation and behavioral equivalence
KW - Markov transition systems
KW - coalgebras
KW - Modal logics
PY - 2010
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation