保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。 贝叶斯统计模型检查及其在Simulink/Stateflow验证中的应用。 （英语） Zbl 1361.68154号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。243-252 (2010).MSC公司：60年第68季度 62C10个 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。243-252（2010年；Zbl 1361.68154） 全文： 内政部
安德烈·普拉泽 分布式混合系统的量化微分动态逻辑。 （英语） Zbl 1287.03075号 Dawar，Anuj（编辑）等人，《计算机科学逻辑》。2010年8月23日至27日在捷克共和国布尔诺举行的第24届CSL 2010国际研讨会，第19届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15204-7/pbk）。计算机科学课堂讲稿6247469-483（2010）。MSC公司：03B70号 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}，莱克特。注释计算。科学。6247、469--483（2010年；Zbl 1287.03075） 全文： 内政部
安德烈·普拉泽 微分代数程序的微分代数动态逻辑。 （英语） Zbl 1191.03024号 J.日志。计算。 20，第1号，309-352（2010）.MSC公司：03B70号 03B35型 68号30 60年第68季度 68吨15 90秒20 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}，J.Log。计算。20，第1号，309--352（2010；Zbl 1191.03024） 全文： 内政部