Auflistung nach Autor "Olderog, Ernst-Rüdiger"
Anzeige der Dokumente 1-3 von 3
-
System correctness under adverse conditions
Olderog, Ernst-Rüdiger; Fränzle, Martin; Theel, Oliver; Kröger, Paul
249-251 -
Turing und die Verifikation
Olderog, Ernst-Rüdiger; Wilhelm, Reinhard
271-279 -
Von Petri-Spielen zu endlichen Automaten
Olderog, Ernst-Rüdiger
2209-2209