斯特凡·舒普；艾丽卡·阿尔布拉汉姆；特里斯坦·埃伯特 混合系统验证的理论和工具支持的最新发展HyPro公司. （英语） Zbl 07629138号 Inf.计算。 289，A部分，文章ID 104945，25 p.（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Schupp}等人，《信息计算》。289，A部分，文章ID 104945，25 p.（2022；Zbl 07629138） 全文： 内政部
托马索·德罗西；Thao Dang先生；卡拉广场 多项式动力系统可达性计算。 （英语） Zbl 1360.93084号 形式方法系统。设计。 50，第1期，第1-38页（2017年）.MSC公司：93个B03 93C55美元 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Dreossi}等人，《形式方法系统》。设计。50，编号1，1-38（2017；兹bl 1360.93084） 全文： 内政部 链接
大亚尔，图鲁；M.Can Orhan 多维可达状态空间的笛卡尔积划分。 （英语） 兹比尔1370.60124 普罗巴伯。工程信息科学。 30，第3期，413-430（2016）.MSC公司：60J22型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Dayar}和\textit{M.C.Orhan}，Probab。工程信息科学。30，第3号，413--430（2016；Zbl 1370.60124） 全文： 内政部
伊格纳西奥·阿里亚；维克多·雷耶斯 优化和约束满足的区间分枝定界算法：综述与展望。 （英语） Zbl 1353.90113号 J.全球。最佳方案。 65，第4期，837-866（2016）.MSC公司：90C26型 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{I.Araya}和\textit{V.Reyes}，J.Glob。最佳方案。65，第43837-866号（2016年；兹bl 1353.90113） 全文： 内政部
萨姆·艾伦。；埃德蒙·伯克（Edmund K.Burke）。 用于高维直线封装的数据结构。 （英语） Zbl 1462.90100号 信息J.计算。 24，第3期，457-470（2012）.MSC公司：90C27型 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Allen}和\textit{E.K.Burke}，《信息与计算》。24，第3号，457--470（2012；Zbl 1462.90100） 全文： 内政部
特蕾莎·比德尔；布尔凯·根萨 从假定的顶点集重建正交多面体。 （英语） Zbl 1225.65026号 计算。地理。 44，第8期，409-417（2011）. 审核人：阿德玛·布列特尔（鲁汶） MSC公司：65D18天 68单位05 52B55号 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{T.Biedl}和\textit{B.Genç}，计算。地理。44，第8号，409--417（2011；Zbl 1225.65026） 全文： 内政部
埃克塞尔·西蒙；安迪·金 每个不等式抽象域的两个变量。 （英语） Zbl 1232.68030号 高-订购符号。计算。 第1期第23页，第87-143页（2010年）.MSC公司：68号30 第68页第20页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Simon}和\textit{A.King}，高-订购符号。计算。23，第1号，87--143（2010；Zbl 1232.68030） 全文： 内政部 链接
阿尔贝托·卡萨格兰德；卡拉广场；阿尔贝托，Policriti 混合自动机的离散语义。避免系统生物学中的误导性假设。 （英语） Zbl 1180.93071号 离散事件动态。系统。 19，第4期，471-493（2009）.MSC公司：93C85号 68问题80 93个B03 PDF格式BibTeX公司 XML格式引用 \textit｛A.Casagrande｝等人，离散事件Dyn。系统。19，第4号，471--493（2009；Zbl 1180.93071） 全文： 内政部
奥德·马勒；格雷戈里·巴特 用时间自动机逼近连续系统。 （英语） Zbl 1374.68262号 Jasmin Fisher（编辑），《系统生物学中的形式方法》。第一次国际研讨会，2008年6月4日至5日，英国剑桥，FMSB 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68410-7/pbk）。计算机科学课堂讲稿5054。生物信息学讲义，77-89（2008）。MSC公司：65年第68季度 第37页第10页 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}和\textit{G.Batt}，莱克特。注释计算。科学。5054，77-89（2008年；Zbl 1374.68262） 全文： 内政部
桑卡拉纳拉亚南，斯里拉姆；Thao Dang先生；弗兰乔·伊万契奇 使用模板多面体检查混合系统的符号模型。 （英语） Zbl 1134.68419号 Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963188-202（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}等人，Lect。注释计算。科学。4963、188--202（2008年；Zbl 1134.68419） 全文： 内政部