Nondeterminism avoidance in compositional synthesis of discrete event systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sahar Mohajerani, Robi Malik, Martin Fabian. Nondeterminism avoidance in compositional synthesis of discrete event systems. In IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011. pages 19-24, IEEE, 2011. [doi]

This author has not been identified. Look up 'Sahar Mohajerani' in GoogleThis author has not been identified. Look up 'Robi Malik' in GoogleThis author has not been identified. Look up 'Martin Fabian' in Google

runs on WebDSL