TY -
GEN
AU - Kerstan, Henning
AU - König, Barbara
TI -
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
PB - Centre pour la Communication Scientifique Directe (CCSD)
SN - 1860-5974
KW - General Computer Science
KW - Theoretical Computer Science
PY - 2013
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -