Auflistung nach Autor "Josko, Bernhard"
Anzeige der Dokumente 1-2 von 2
-
Model Checking
Buschermöhle, Ralf; Brörkens, Mark; Brückner, Ingo; Damm, Werner; Hasselbring, Wilhelm; Josko, Bernhard; Schulte, Christoph; Wolf, Thomas
146-158 -
SUCCESS 2006 – Motivation, Vorgehensweise und Ergebnisse
Buschermöhle, Ralf; Eekhoff, Heike; Josko, Bernhard
295-301