State Space Reduction in SDL Models of
In: IPDPS
Los Alamitos: IEEE Computer Society (2004)
ISBN: 0-7695-2132-0
Buchaufsatz / Kapitel / Fach: Wirtschaftswissenschaften, Rechtswissenschaften
Dieser Eintrag ist freigegeben.