×

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

最新的 引文 关联
马尔科·瓦西奇；大卫·索洛维奇克；萨尔夫拉兹·库希德

暴露的CRNs：系统探索化学反应网络的方法。 （英语） Zbl 07756098号

Geary，Cody（编辑）等人，第26届DNA计算和分子编程国际会议。DNA 262020年9月14日至17日，英国牛津，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。174，第4条，第25页（2020年）。
MSC公司：2007年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Vasic}等人，LIPIcs——莱布尼茨国际程序。通知。174，第4条，第25页（2020；兹bl 07756098）
全文： 内政部 arXiv公司
亚历山大·克努佩尔；英加·雅茨科夫斯基；马库斯·诺尔特；托马斯·图姆；托比亚斯·伦格；伊娜·谢弗

基于技能的网络物理系统验证。 （英语） Zbl 1507.68093号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12076, 203-223 (2020).
MSC公司：68号30 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Knüppel}等人，Lect。票据计算。科学。12076203-223（2020；Zbl 1507.68093）
全文： 内政部
Wytse Oortwijn公司；玛丽克·赫斯曼；Joosten，Sebastian J.C。；范德波尔（Jaco van de Pol）

自动验证并行嵌套DFS。 （英语） 兹比尔1517.68248

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12078, 247-265 (2020).
MSC公司：60年第68季度 68问题85 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{W.Oortwijn}等人，Lect。票据计算。科学。12078，247--265（2020；Zbl 1517.68248）
全文： 内政部
亚历山大·克努佩尔；托马斯·图姆；卡斯滕·伊曼纽尔·帕迪拉；伊娜·谢弗

理解演绎验证的参数：KeY的实证调查。 （英语） Zbl 1511.68317号

Avigad，Jeremy（编辑）等，交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10895342-361（2018）。
MSC公司：68伏15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Knüppel}等人，Lect。票据计算。科学。10895、342--361（2018年；Zbl 1511.68317）
全文： 内政部
西尔维·博尔多；弗朗索瓦Clément；Jean-Christophe Filliátre；米凯拉·梅耶罗；纪尧姆·梅尔金德；皮埃尔·韦斯

可信计算：从偏微分方程到实际程序的机械化证明。 （英语） Zbl 1369.35051号

计算。数学。申请。 68，第3号，325-352（2014）.
MSC公司：35克35 6500万06 60年第68季度 65G20个 68吨15 65个M12
PDF格式BibTeX公司 XML格式引用
\textit{S.Boldo}等人，计算。数学。申请。68，第3号，325--352（2014；Zbl 1369.35051）
全文： 内政部 arXiv公司
艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔；克里斯蒂安·德内特；尼尔斯·詹森；Joost-Pieter卡托恩；拉尔夫·威默

离散时间马尔可夫模型的反例生成：介绍性调查。 （英语） Zbl 1445.68130号

Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。票据计算。科学。8483, 65-121 (2014).
MSC公司：60年第68季度 60J22型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，Lect。票据计算。科学。8483、65-121（2014年；Zbl 1445.68130）
全文： 内政部
克拉克·巴雷特；斯特凡·德姆里；Deters，摩根

见证柜台机器的运行。 （英语） Zbl 1397.68122号

Fontaine，Pascal（编辑）等人，《组合系统的前沿》。2013年9月18日至20日，法国南希，第九届国际研讨会，FroCoS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40884-7/pbk）。计算机科学课堂讲稿8152。《人工智能课堂讲稿》，120-150（2013）。
MSC公司：60年第68季度 03B44号 03英尺30英寸 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Barrett}等人，Lect。票据计算。科学。8152、120-150（2013；Zbl 1397.68122）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件