Nov.
05
2018
0
Time to read
less than 1 minute
Read so far
Einladung zum Kolloquium
Trace semantics for nondeterministic probabilistic automata via determinization
Valeria Vignudelli, ENS Lyon
Wann: Dienstag, 6. November 2018, 16:00.
Wo: T04, Jakob-Haringer-Straße 2
Dokumente
