//-->
Fault diagnosis for discrete event systems: Modelling and verification
Pedroni, N., (2010)
Preface
Apostolakis, G.E., (1994)
Editorial
Apostolakis, G.E., (1993)