Böhm, Sabine M.; Echtle, Klaus:
State Space Reduction in SDL Models of
In: IPDPS - Los Alamitos: IEEE Computer Society, 2004
Buchaufsatz/Kapitel in Sammelwerk / Fach: Wirtschaftswissenschaften
Titel:
State Space Reduction in SDL Models of
Autor(in):
Böhm, Sabine M. im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Echtle, Klaus im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr:
2004
Erschienen in:
IPDPS - Los Alamitos: IEEE Computer Society, 2004
ISBN:
Link URL: