« Publikationen
Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten
Krause, Jan ; Diedrich, Christian
Informatik 2010 ; Bd. 2: [Vorträge zum Tag der Informatik; Workshops]. - Bonn : Ges. für Informatik, S. 333-339 - (GI-Edition); Kongress: Jahrestagung. Gesellschaft für Informatik; 40 (Leipzig): 2010.09.27-10.01
Bibliographie: Originalartikel in begutachteter zeitschriftenartiger Reihe
Weitere Publikationen der Autoren