Yoo, Haiseung2007-08-302007-08-302007-08-30http://hdl.handle.net/2003/2468910.17877/DE290R-12684deModel-CheckingFehlerdiagnoseStrategie-SyntheseFixpunktmu-Kalkül004Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthesedoctoral thesisurn:nbn:de:hbz:290-2003/24689-9