Showing 1 - 2 results of 2 for search 'Henning Kerstan', query time: 0.02s
Refine Results
-
1
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems by Henning Kerstan, Barbara König
Published 2013-12-01
Article -
2
Coalgebraic Behavioral Metrics by Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Published 2018-09-01
Article