Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard. Distributed and asynchronous discrete event systems diagnosis. In 42nd IEEE Conference on Decision and Control, CDC 2003, Maui, Hawaii, USA, December 9-12, 2003. pages 3742-3747, IEEE, 2003. [doi]
Abstract is missing.