×

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

最新的 引文 关联
康嘉文;白、云君;焦、李

Petri网基于抽象的增量归纳覆盖性。 （英语） Zbl 1489.68162号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12734, 379-398 (2021).
MSC公司：68问题85 60年第68季度 68周05
PDF格式BibTeX公司 XML格式引用
\textit{J.Kang}等人，Lect。注释计算。科学。12734、379--398（2021年；Zbl 1489.68162）
全文： 内政部
德克·拜尔;马蒂亚斯·丹格尔

PDR软件验证：最新技术的实现。 （英语） Zbl 1507.68178号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 3-21 (2020).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Beyer}和\textit{M.Dangl}，莱克特。注释计算。科学。12078，3--21（2020；Zbl 1507.68178）
全文： 内政部 arXiv公司
Kohei Suenaga公司;石泽隆彦

混合系统的广义属性定向可达性。 （英语） Zbl 07228512号

Beyer，Dirk（编辑）等人，《验证、模型检查和抽象解释》。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11990, 293-313 (2020).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Suenaga}和\textit{T.Ishizawa}，莱克托。注释计算。科学。11990，293--313（2020；Zbl 07228512）
全文： 内政部 arXiv公司
马丁·布利查;安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;莎里吉娜，娜塔莎

一种用于属性定向归纳的协作并行化方法。 （英语） Zbl 07228511号

Beyer，Dirk（编辑）等人，《验证、模型检查和抽象解释》。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11990, 270-292 (2020).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Blicha}等人，Lect。注释计算。科学。11990、270--292（2020；Zbl 07228511）
全文： 内政部
马特奥·马雷斯科蒂;安蒂·E·J·海瓦·里宁。;莎里吉娜，娜塔莎

SMTS：分布式可视化约束求解。 （英语） Zbl 1415.68197号

Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 534-542 (2018).
MSC公司：68T20型 68宽10 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{M.Marescotti}等人，EPiC Ser。计算。57、534--542（2018；Zbl 1415.68197）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件