Schumann, A.Pencole, YannickThiebaux, Sylvie2015-12-132015-12-13August 22-0922-6389http://hdl.handle.net/1885/87624Symbolic models for diagnosing discrete-event systems20042015-12-12