Grastien, AlbanAnbulagan, AnbuRintanen, JussiKelareva, ElenaBiswas, G.Koutsoukos, X.Abdelwahed, S.2015-12-08May 29-31http://hdl.handle.net/1885/36856Modeling and solving diagnosis of discrete-event systems via satisfiability20072022-08-07