From diagnosis of active systems to incremental determinization of finite acyclic automata

Gianfranco Lamperti, Michele Scandale. From diagnosis of active systems to incremental determinization of finite acyclic automata. AI Commun., 26(4):373-393, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.