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