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]

Authors

Gianfranco Lamperti

This author has not been identified. Look up 'Gianfranco Lamperti' in Google

Michele Scandale

This author has not been identified. Look up 'Michele Scandale' in Google