×

找到9个文档（结果1-9）

最新的 引文 关联
托马斯·亨辛格。;尼古拉斯·马佐奇;萨拉索，N.Ege

定量安全性和活性。 （英语） Zbl 07770345号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 349-370 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。注释计算。科学。13992349-370（2023年；兹bl 07770345）
全文： 内政部 arXiv公司
埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格。;赫尔穆特·维思

模型检查简介。 （英语） Zbl 1392.68242号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1-26（2018年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke}等人，in：模型检查手册。查姆：斯普林格。1-26（2018；Zbl 1392.68242）
全文： 内政部
塞尔吉·博戈莫洛夫;戈兰弗雷斯;米尔科·贾科布;托马斯·亨辛格。

模板多面体的反例引导细化。 （英语） Zbl 1452.68099号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 589-606 (2017).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bogomolov}等人，Lect。注释计算。科学。10205、589--606（2017；Zbl 1452.68099）
全文： 内政部 链接
达米安·祖弗里;托马斯·怀斯;托马斯·亨辛格。

结构良好的转换系统的理想抽象。 （英语） Zbl 1326.68205号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学讲义7148445-460（2012）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Zufferey}等人，Lect。注释计算。科学。7148445--460（2012年；Zbl 1326.68205）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件