Simon Ware, Robi Malik. Conflict-preserving abstraction of discrete event systems using annotated automata. Discrete Event Dynamic Systems, 22(4):451-477, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.