×

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

最新的 引文 关联
彼得·格约尔·詹森;吉·斯尔巴;尼古拉·延森·乌尔里克;Simon Mejlby，Virenfeldt

自动驱动的部分订单缩减和LTL模型检查的引导搜索。 （英语） Zbl 1498.68160号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 151-173 (2022).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。注释计算。科学。13182、151--173（2022年；Zbl 1498.68160）
全文： 内政部
丹尼尔·格纳德;简·埃森胡特;阿尔贝托·卢什·拉富恩特;霍夫曼，约格

模型检查\（\omega\）-具有解耦搜索的正则属性。 （英语） Zbl 1493.68208号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 411-434 (2021).
MSC公司：60年第68季度 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Gnad}等人，Lect。注释计算。科学。12760，411--434（2021；Zbl 1493.68208）
全文： 内政部
弗雷德里克·伯内兰。;彼得·詹森（Peter G.Jensen）。;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴

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

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

两层可达博弈的顽固集约简。 （英语） 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公司 链接
托马斯·内勒;Tim A.C.Willemse。;威格·威瑟林克

奇偶对策的部分阶约简及其在参数化布尔方程系统上的应用。 （英语） 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）
全文： 内政部
托马斯·内勒;安蒂·瓦尔马里;Tim A.C.Willemse。

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

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

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

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 359-380 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛D.M.Kahn｝和\textit｛J.Hoffmann｝，Lect。注释计算。科学。12077、359--380（2020；Zbl 07250947）
全文： 内政部 arXiv公司
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴

可达性博弈的部分降阶。 （英语） Zbl 07649931号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第23条，第15页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Bönneland}等人，LIPIcs——莱布尼茨国际程序。通知。140，第23条，第15页（2019年；Zbl 07649931）
全文： 内政部
丹尼尔·格纳德;帕特里克·杜伯特;阿尔贝托·卢什·拉富恩特;霍夫曼，约格

SPIN中的星战解耦。 （英语） Zbl 1508.68331号

del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10869, 103-114 (2018).
MSC公司：68T20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Gnad}等人，Lect。注释计算。科学。10869、103-114（2018年；Zbl 1508.68331）
全文： 内政部 链接
拜尔，克里斯特尔;马库斯·格勒;Frank Ciesinski先生

概率系统线性时间特性的模型检验。 （英语） Zbl 1484.68095号

Droste，Manfred（编辑）等人，《加权自动机手册》。柏林：斯普林格。单声道。理论。计算。科学。，EATCS系列。，519-570 (2009).
MSC公司：60年第68季度 2010年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，in：加权自动机手册。柏林：斯普林格。519-570（2009年；Zbl 1484.68095）
全文： 内政部
克里斯蒂安·达克斯;费利克斯·克莱特克;斯特凡·洛伊

口吃变异正则属性的规范语言。 （英语） Zbl 1262.68114号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，244-254（2009）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Dax}等人，Lect。注释计算。科学。5799，244--254（2009；Zbl 1262.68114）
全文： 内政部 链接
雅各布·盖尔登豪斯;亨利·汉森;安蒂·瓦尔马里

探索部分订单缩减的范围。 （英语） Zbl 1262.68120号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，39-53（2009）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Geldenhuys}等人，莱克特。注释计算。科学。5799、39-53（2009年；Zbl 1262.68120）
全文： 内政部
凯斯·克莱;劳雷·佩特鲁奇;米歇尔·雷尼尔斯

用于检查Petri网的LTL（setminus）X属性的增量模块化技术。 （英语） Zbl 1215.68155号

Derrick，John（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73195-5/pbk）。计算机科学课堂讲稿4574280-295（2007）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Klai}等人，Lect。注释计算。科学。4574280-295（2007年；Zbl 1215.68155）
全文： 内政部
约阿希姆·克莱因;拜尔，克里斯特尔

确定性自动机构造中的即兴断断续续。 （英语） Zbl 1139.68366号

Holub，Jan（编辑）等人，《自动机的实现和应用》。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-76335-2/pbk）。计算机科学课堂讲稿4783，51-61（2007）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.克莱因}和\textit{C.拜尔}，莱克特。注释计算。科学。4783、51-61（2007年；Zbl 1139.68366）
全文： 内政部
Kimmo Varpaaniemi公司

关于线性时间时间特性验证中的顽固集。 （英语） Zbl 1510.68045号

Desel，Jörg（编辑）等人，《Petri网的应用和理论》，1998年。1998年6月22日至26日，第19届国际会议，ICATPN'98，葡萄牙里斯本。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1420, 124-143 (1998).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Varpaaniemi}，莱克特。注释计算。科学。1420、124--143（1998年；Zbl 1510.68045）
全文： 内政部
罗马克里希纳，Y.S。;斯科特·斯莫尔卡。

弱模态微积分中的部分阶降阶。 （英语） Zbl 1512.68160号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 5-24 (1997).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Y.S.Ramakrishna}和\textit{S.A.Smolka}，莱克特。注释计算。科学。1243，5--24（1997；Zbl 1512.68160）
全文： 内政部
哈维尔·埃斯帕尔扎;斯蒂芬·梅尔泽

使用约束编程检查LTL模型。 （英语） Zbl 1523.68040号

Azéma，Pierre（编辑）等人，《Petri网的应用和理论》，1997年。第18届国际会议，ICATPN’97。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1248, 1-20 (1997).
MSC公司：60年第68季度 03B44号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}和\textit{S.Melzer}，莱克特。注释计算。科学。1248，1--20（1997；Zbl 1523.68040）
全文： 内政部
多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀

用于检查\（\omega \）-正则语言的闭包属性的算法方法。 （英语） Zbl 1514.68109号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 596-610 (1996).
MSC公司：65年第68季度 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Peled}等人，Lect。注释计算。科学。1119596-610（1996年；Zbl 1514.68109）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件