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
2004book article/chapter in Proceedings
Economics
Title in English:
State space reduction in SDL models of fault-tolerant systems
Author:
Böhm, Sabine M.UDE
LSF ID
5185
Other
connected with university
;Echtle, KlausUDE
LSF ID
5086
Other
connected with university
DOI
10.1109/IPDPS.2004.1303233
Language of text:
English
Appears in
18th International Parallel & Distributed Processing Symposium
Conference
18th International Parallel & Distributed Processing Symposium : IPDPS; Santa Fe, New Mexico, April 26-30, 2004
Place of publication:
Los Alamitos
Publisher:
IEEE Computer Society
Year of publication:
2004
ISBN
0-7695-2132-0