奥德·马勒 Amir Pnueli和混合系统的黎明。 （英语） Zbl 1360.68005号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。293-295 (2010).MSC公司：68-03 01A60型 01A70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。293-295（2010年；Zbl 1360.68005） 全文： 内政部
Koutroumpas、Konstantinos;约翰·莱杰罗斯 使用HIOA对随机混合系统进行建模和验证：DNA复制的案例研究。 （英语） Zbl 1360.92044号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。263-272 (2010).MSC公司：92C40型 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Koutroumpas}和\textit{J.Lygeros}，in：第13届ACM混合系统国际会议论文集：计算和控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。263-272（2010年；兹比尔1360.92044） 全文： 内政部
蒂亚加拉扬，P.S。;杨绍发 分布式混合自动机的简洁离散时间近似。 （英语） Zbl 1361.68125号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。1-10 (2010).MSC公司：65年第68季度 60年第68季度 68问题85 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Thiagarajan}和\textit{S.Yang}，摘自：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。1-10（2010年；Zbl 1361.68125） 全文： 内政部
2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。 （英语） Zbl 1300.93002号 纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。x、 第295页。，仅电子版（2010年）。MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 2010年4月12-16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（2010；Zbl 1300.93002） 全文： 内政部
Dilsun K·卡纳尔。;南希·林奇;罗伯特·塞加拉;Vaandrager，Frits公司 定时I/O自动机理论。 （英语） Zbl 1250.68005号 计算机科学综合讲座1.加州圣拉斐尔：Morgan&Claypool出版社（ISBN 1-59829-010-X/pbk；1-59829-101-8/电子书）。xi，第101页。(2010). 审核人：马丁·兰格（卡塞尔） MSC公司：68-01 68-02 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.K.Kaynar}等人，《定时I/O自动机理论》。加利福尼亚州圣拉斐尔：Morgan&Claypool出版社（2010；Zbl 1250.68005） 全文： 内政部
阿尔贝托·卡萨格兰德 混合自动机和互模拟。 （英语） Zbl 1223.68074号 伦德。问题。的里雅斯特马特大学 42, 147-163 (2010).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Casagrande}，伦德。问题。特里亚斯特马特大学42、147--163（2010；Zbl 1223.68074） 全文： 链接
穆罕默德·法蒂，卡鲁伊;哈萨内·阿拉;阿卜杜拉扎克·查蒂 用矩形混合自动机监测动态过程。 （英语） Zbl 1209.37012号 非线性分析。，混合系统。 4，第4期，766-774（2010）. 审核人：吉隐藏Kozai（东京杉乐美） MSC公司：37B15号机组 93立方厘米95 37号35 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Karoui}等人，《非线性分析》。，混合系统。4，编号4，766-774（2010年；Zbl 1209.37012） 全文： 内政部
马丁·范策尔;蒂诺·特伊格;安德烈亚斯·艾格斯 概率混合自动机自动分析的工程约束求解器。 （英语） Zbl 1205.68252号 J.日志。阿尔盖布。程序。 79，第7期，436-466（2010）.MSC公司：第68季度87 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，J.Log。阿尔盖布。程序。79，编号7，436--466（2010；Zbl 1205.68252） 全文： 内政部
塞尔吉·博戈莫洛夫;科琳娜·米特罗欣;安德烈亚斯·波德尔斯基 组成混合系统的可达性分析，以确保安全性和稳定性。 （英语） Zbl 1305.68110号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。2010年9月21日至24日，第八届国际研讨会，ATVA 2010，新加坡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15642-7/pbk）。计算机科学讲义6252，67-81（2010）。MSC公司：65年第68季度 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，Lect。注释计算。科学。6252、67--81（2010年；Zbl 1305.68110） 全文： 内政部
卢卡·博托卢西;阿尔贝托，Policriti 随机程序的混合动力学。 （英语） Zbl 1198.68175号 西奥。计算。科学。 411，第20号，2052-2077（2010）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{A.Policriti}，Theor。计算。科学。411，第20号，2052--2077（2010；Zbl 1198.68175） 全文： 内政部
帕特里夏·布耶;托马斯·布里海耶;Fabrice骑士 O-最小混合可达性博弈。 （英语） Zbl 1189.68070号 日志。方法计算。科学。 6，第1期，第1号论文，48页（2010年）.MSC公司：65年第68季度 60年第68季度 93个B03 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Log。方法计算。科学。6，第1期，第1号论文，48页（2010年；Zbl 1189.68070） 全文： 内政部
托马斯·布里海耶;维罗尼克·布鲁埃;伊莱恩·雷恩 强重置混合系统的形式语言属性。 （英语） Zbl 1184.68309号 西奥·雷罗。通知。申请。 44，第1期，79-111（2010）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，RAIRO，Theor。通知。申请。44，编号1，79--111（2010；Zbl 1184.68309） 全文： 内政部 欧洲DML 链接
劳拉·博泽利;拉诺特、拉格罗 线性时间混合逻辑的复杂性和简洁性问题。 （英语） Zbl 1187.68292号 西奥。计算。科学。 411，第2期，454-469（2010）.MSC公司：65年第68季度 第68页第27页 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{R.Lanotte}，Theor。计算。科学。411，第2号，454--469（2010；Zbl 1187.68292） 全文： 内政部