TY  - BOOK
AU  - Doberkat Ernst-Erich
TI  - Stochastic coalgebraic logic
SN  - 978-3-642-02994-3
U1  - 511.3 
PY  - 2010///
CY  - Berlin
PB  - Springer-Verlag
KW  - Algebraic logic
KW  - Modality(Logic)
KW  - Stochastic processes
KW  - Stochastic systems
KW  - Universal algebra
ER  -