×

找到20个文档（结果1–20）

最新的 引文 关联
休伯特·加拉维;弗雷德里克·朗

40年后的等价性检查：对双模拟工具的回顾。 （英语） Zbl 1524.68189号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 213-265 (2022).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}和\textit{F.Lang}，莱克特。注释计算。科学。13560213--265（2022年；Zbl 1524.68189）
全文： DOI程序 哈尔
弗雷德里克·伯内兰。;彼得·詹森（Peter G.Jensen）。;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴

针对时间可达性和安全游戏的顽固集缩减。 （英语） Zbl 07497999号

Dima，Catalin（编辑）等，《定时系统的形式化建模和分析》。第19届国际会议，FORMATS 2021，巴黎，法国，2021年8月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12860, 32-49 (2021).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Bönneland}等人，Lect。注释计算。科学。12860，32-49（2021；Zbl 07497999）
全文： DOI程序
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴

两层可达博弈的顽固集约简。 （英语） Zbl 1501.68002号

日志。方法计算。科学。 17，第1号，第21号论文，第26页（2021年）.
审核人：马可·贝尼尼（科莫）
MSC公司：68问题85 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Bönneland}等人，日志。方法计算。科学。17，第1号，第21号文件，第26页（2021年；Zbl 1501.68002）
全文： arXiv公司 链接
托马斯·内勒;蒂姆·威廉姆斯。;威格·威瑟林克

奇偶对策的部分阶约简及其在参数化布尔方程系统上的应用。 （英语） Zbl 1483.68201号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 307-324 (2020).
MSC公司：60年第68季度 03B70号 68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{T.Neele}等人，Lect。注释计算。科学。12079、307--324（2020；Zbl 1483.68201）
全文： DOI程序
OA许可证
托马斯·内勒;安蒂·瓦尔马里;蒂姆·威廉姆斯。

口吃保护性偏序减少的标签不一致问题。 （英语） Zbl 07250953号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 482-501 (2020).
MSC公司：68新元 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Neele}等人，Lect。注释计算。科学。12077、482--501（2020；Zbl 07250953）
全文： DOI程序 arXiv公司
OA许可证
大卫·M·卡恩。;简·霍夫曼

指数自动摊销资源分析。 （英语） Zbl 07250947号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 359-380 (2020).
MSC公司：68新元 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Kahn}和\textit{J.Hoffmann}，莱克特。注释计算。科学。12077、359--380（2020；Zbl 07250947）
全文： DOI程序 arXiv公司
OA许可证
托尔斯滕·利布克;卡斯滕·沃尔夫

减轻了显式CTL模型检查器的一些负担。 （英语） Zbl 1532.68028号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 321-341 (2019).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{T.Liebke}和\textit{K.Wolf}，莱克特。注释计算。科学。11522，321--341（2019；Zbl 1532.68028）
全文： DOI程序
戴维·德·弗鲁托斯·埃斯克里格;Jeroen J.A.Keiren。;蒂姆·威廉姆斯。

分支互模拟游戏。 （英语） Zbl 1347.68276号

Albert，Elvira（编辑）等人，分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议，FORTE 2016，作为第11届分布式计算技术国际联合会议的一部分，DisCoTec 2016，希腊克里特岛伊拉克利翁，2016年6月6日至9日举行。诉讼程序。查姆：施普林格（ISBN 978-3-319-39569-2/pbk；978-3-3169-39570-8/电子书）。计算机科学讲座笔记9688，142-157（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.de Frutos Escrig}等人，Lect。注释计算。科学。9688142-157（2016年；兹bl 1347.68276）
全文： DOI程序 哈尔
Alessio，Lomuscio;沃伊切赫·彭泽克;曲洪阳

面向模型检验时序认知逻辑的部分降阶。 （英语） 兹比尔1226.68043

Peled，Doron A.（编辑）等人，《模型检查和人工智能》。2008年7月21日在希腊帕特拉斯举行的2008年MoChArt第五届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-00430-8/pbk）。计算机科学课堂讲稿5348。人工智能课堂讲稿，106-121（2009）。
MSC公司：60年第68季度 03B42号 03B44号 68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{A.Lomuscio}等人，Lect。注释计算。科学。5348、106-121（2009年；Zbl 1226.68043）
全文： DOI程序
安蒂·瓦尔马里

状态空间验证方法中的组合性。 （英语） Zbl 1418.68155号

Billington，Jonathan（编辑）等人，《Petri网的应用和理论》，1996年。第17届国际会议，日本大阪，1996年6月24日至28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1091, 29-56 (1996).
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Valmari}，莱克特。注释计算。科学。1091、29-56（1996年；Zbl 1418.68155）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件