斯特凡·舒普;艾丽卡·阿尔布拉汉姆;特里斯坦·埃伯特 混合系统验证理论和工具支持的最新发展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) 全文: 内政部
卡洛斯·安索特吉;米克尔波菲尔;很多,费利普;马图·维拉雷特 具有可满足模理论求解器的多值逻辑自动定理证明器。 (英语) Zbl 1387.03007号 模糊集系统。 292, 32-48 (2016). 审核人:曼弗雷德·科伯(伯明翰) MSC公司:03B35型 03B50号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,《模糊集系统》。292、32-48(2016年;Zbl 1387.03007) 全文: 内政部
费雷尔·菲奥里蒂,路易斯·玛丽亚;瓦希德·哈希米;霍尔格·赫尔曼斯;安德烈亚·图里尼 判定概率自动机弱互模拟:理论与实践。 (英语) Zbl 1335.68117号 正式Asp。计算。 28,第1号,109-143(2016).MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Ferrer Fioriti}等人,《正式评论》。计算。28,第1号,109--143(2016;Zbl 1335.68117) 全文: 内政部
西尔维乌·克拉西纳斯。;拉蒙·塞尔纳·奥利弗 分布式时间触发系统的任务级和网络级组合调度。 (英语) Zbl 1352.68027号 实时系统。 52,第2期,161-200(2016).MSC公司:68平方米 68米14 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Craciunas}和\textit{R.S.Oliver},实时系统。52,第2号,161--200(2016;Zbl 1352.68027) 全文: 内政部
德国福雷;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 SAT模线性算术理论:精确、不精确和商业求解器。 (英语) Zbl 1138.68537号 Kleine Büning,Hans(编辑)等人,《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日,中国广州,2008年SAT第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79718-0/pbk)。计算机科学课堂讲稿499677-90(2008)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Faure}等人,Lect。注释计算。科学。4996,77-90(2008年;Zbl 1138.68537) 全文: 内政部