State Space Reduction in SDL Models of Fault-Tolerant Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sabine M. Böhm, Klaus Echtle. State Space Reduction in SDL Models of Fault-Tolerant Systems. In 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA. IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Sabine M. Böhm' in GoogleThis author has not been identified. Look up 'Klaus Echtle' in Google

runs on WebDSL