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:
Sprache des Textes:
Englisch