Nondeterminism avoidance in compositional synthesis of discrete event systems

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.