Informatik
zu den Filteroptionen- Das Dokument ist öffentlich im Netz zugänglich.
Coalgebraic trace semantics for probabilistic transition systems based on measure theory
Kerstan, Henning ; König, BarbaraDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012