Cordier 94Marie-Odile Cordier and Sylvie Thiébaux.
Event-based diagnosis of evolutive systems.
Proceedings of the 1994 DX Conference.
Also available as IRISA technical report Nr. 819 [entry].