Böhm, Sabine M.; Echtle, Klaus:
State space reduction in SDL models of fault-tolerant systems
In: 18th International Parallel & Distributed Processing Symposium - 18th International Parallel & Distributed Processing Symposium : IPDPS; Santa Fe, New Mexico, April 26-30, 2004 - Los Alamitos: IEEE Computer Society, 2004
2004Buchaufsatz/Kapitel in Tagungsband
Wirtschaftswissenschaften
Titel in Englisch:
State space reduction in SDL models of fault-tolerant systems
Autor*in:
Böhm, Sabine M.UDE
LSF ID
5185
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
Echtle, KlausUDE
LSF ID
5086
Sonstiges
der Hochschule zugeordnete*r Autor*in
Sprache des Textes:
Englisch