埃德蒙·克拉克;安斯加·芬克;韩、智;布鲁斯·克罗格;约尔·瓦克宁;奥拉夫·斯特斯伯格;迈克尔·西奥博尔德 混合系统模型检验中的抽象和反例引导精化。 （英语） Zbl 1101.68678号 发现的国际期刊。计算。科学。 14，第4期，583-604（2003）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，国际法学研究所。计算。科学。14，第4号，583--604（2003；Zbl 1101.68678） 全文： 内政部
埃德蒙·克拉克;安斯加·芬克;韩、智;布鲁斯·克罗格;奥拉夫·斯特斯伯格;迈克尔·西奥博尔德 基于反例引导抽象求精的混合系统验证。 （英语） Zbl 1031.68078号 Garavel，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2619, 192-207 (2003).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，Lect。注释计算。科学。2619、192--207（2003年；Zbl 1031.68078） 全文： 链接