Ernst-Erich Doberkat

Stochastic Coalgebraic Logic - New York Springer US 2009

978-3-642-02995-0


Computer Science