Nov.
05
2018
0
Time to read
less than 1 minute
Read so far
Invitation to the symposium
Trace semantics for nondeterministic probabilistic automata via determinization
Valeria Vignudelli, ENS Lyon
When: Tueday, 6. November 2018, 16:00.
Where: T04, Jakob-Haringer-Straße 2
Dokumente
