Böhm, Sabine M.; Echtle, Klaus:
State Space Reduction in SDL Models of
In: IPDPS - Los Alamitos: IEEE Computer Society, 2004
Buchaufsatz/Kapitel in Sammelwerk2004Wirtschaftswissenschaften
Titel:
State Space Reduction in SDL Models of
Autor(in):
Böhm, Sabine M.LSF; Echtle, KlausLSF
Erscheinungsjahr
2004
WWW URL