TY - BOOK AU - Ernst-Erich Doberkat TI - Stochastic Coalgebraic Logic SN - 978-3-642-02995-0 PY - 2009/// CY - New York PB - Springer US KW - Computer Science ER -