1 Treffer für Verfasser / Beteiligte = "Kerstan, Henning"
zu den Filteroptionen1 Treffer für Verfasser / Beteiligte = "Kerstan, Henning"
Das Dokument ist öffentlich im Netz zugänglich.Coalgebraic trace semantics for probabilistic transition systems based on measure theory
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012