Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fuad Abujarad, Sandeep S. Kulkarni. Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. In 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), Niagara Falls, New York, USA, September 27-30, 2009. pages 119-128, IEEE, 2009. [doi]

This author has not been identified. Look up 'Fuad Abujarad' in GoogleThis author has not been identified. Look up 'Sandeep S. Kulkarni' in Google

runs on WebDSL