Auflistung nach Autor "Caesar, Birte"
Anzeige der Dokumente 1-1 von 1
-
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata
Göttmann, Hendrik; Caesar, Birte; Beers, Lasse; Lochau, Malte; Schürr, Andy; Fay, Alexander
55-56