×

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

最新的 引文 关联
克里斯托弗·雨根罗斯

Zielonka DAG接受和无限单词上的常规语言。 （英语） Zbl 07766940号

Drewes，Frank（编辑）等人，《语言理论的发展》。第27届国际会议，DLT 2023，瑞典乌梅，2023年6月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13911, 143-155 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Hugenroth}，莱克特。注释计算。科学。13911、143--155（2023；Zbl 07766940）
全文： 内政部
帕特里夏·鲍耶；奥尔纳·库普弗曼；尼古拉斯·马基；巴斯蒂安·莫伯特；阿尼埃洛·穆拉诺；朱塞佩·佩雷利

关于战略行为的质量和模糊性的推理。 （英语） Zbl 07713582号

ACM事务处理。计算。日志。 24，第3号，第21号文件，第38页（2023）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，ACM Trans。计算。日志。24，第3号，第21号论文，38页（2023；Zbl 07713582）
全文： 内政部 arXiv公司
亚历山大·杜雷特·卢茨；艾蒂安·雷诺；马克西米利安·科朗格；弗洛里安·伦金；亚历山大·巴吉迪·艾塞；菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier）；托马斯·梅迪奥尼；安托万·马丁；杰罗姆·杜波伊斯；Clément吉拉德；亨利克·劳科

从Spot 2.0到Spot 2.10：有什么新功能？ （英语） Zbl 1514.68128号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 174-187 (2022).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Duret-Lutz}等人，Lect。注释计算。科学。13372174-187（2022年；Zbl 1514.68128）
全文： 内政部 arXiv公司
李勇；安德烈亚·图里尼；冯伟志；莫舍·瓦尔迪。；张丽君

基于SCC分解的Büchi自动机分治判定。 （英语） Zbl 1514.68108号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 152-173 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，Lect。注释计算。科学。13372、152--173（2022年；Zbl 1514.68108）
全文： 内政部 arXiv公司
托拜厄斯·约翰；西蒙·詹奇；克里斯特尔·拜尔；克吕佩尔霍尔茨，萨沙

Emerson-Lei自动机的确定和极限确定。 （英语） Zbl 1497.68270号

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 15-31 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.John}等人，Lect。注释计算。科学。12971，15--31（2021；Zbl 1497.68270）
全文： 内政部 arXiv公司
奥尔纳·库普弗曼；所罗门·西克特

证明无法表达。 （英语） Zbl 07410435号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650385-405（2021）。
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{S.Sickert}，莱克特。注释计算。科学。12650385-405（2021年；兹bl 07410435）
全文： 内政部 arXiv公司
托马斯·布里海耶；维罗尼克·布鲁埃；阿琳·戈敏；Jean-François拉斯金

具有（ω）-正则布尔目标的弱子对策完美平衡点的约束存在性问题。 （英语） Zbl 1501.91028号

Inf.计算。 278，文章ID 104594，第20页（2021）.
MSC公司：91A43型 91A11号机组 2017年第68季度 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{T.Brihaye}等人，《信息计算》。278，文章ID 104594，20 p.（2021；Zbl 1501.91028）
全文： 内政部 arXiv公司
克里斯特尔·拜尔；弗兰蒂舍克·布拉胡德克；亚历山大·杜雷特·卢茨；约阿希姆·克莱因；大卫·米勒；斯特雷切克，简

通用空置检查，以获得乐趣和利润。 （英语） 兹比尔1437.68092

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 445-461 (2019).
MSC公司：65年第68季度 60年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。11781、445--461（2019年；Zbl 1437.68092）
全文： 内政部
托马斯·布里海耶；维罗尼克·布鲁埃；阿琳·戈敏；Jean-François拉斯金

具有（ω）-正则布尔目标的弱子对策完美平衡点的约束存在性问题。 （英语） Zbl 1524.91017号

Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27716-29（2018）。
MSC公司：91A43型 91A11号机组 2017年第68季度 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{T.Brihaye}等人，《电子》。程序。西奥。计算。科学。（EPTCS）277，16--29（2018；Zbl 1524.91017）
全文： 链接
奥尔纳·库普弗曼；加尔省瓦尔迪

流程逻辑。 （英语） Zbl 1442.03015号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第9条，第18页（2017年）。
MSC公司：03B70号 03B44号 05C21号 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{G.Vardi}，LIPIcs——莱布尼茨国际程序。通知。85，第9条，第18页（2017；Zbl 1442.03015）
全文： 内政部
斯特凡·德姆里；阿米特·达尔；阿诺德·桑尼尔

模型检查平面计数器系统和Presburger算法之间的等效性。 （英语） Zbl 1393.68101号

Ouaknine，Joöl（编辑）等人，《可达性问题》。2014年9月22日至24日，英国牛津，RP 2014，第八届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-11438-5/pbk）。计算机科学课堂讲稿8762，85-97（2014）。
MSC公司：60年第68季度 03B44号 03英尺30英寸 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Demri}等人，Lect。注释计算。科学。8762，85-97（2014年；兹bl 1393.68101）
全文： 内政部 哈尔
沃伊切赫·贾姆罗加；沃伊切赫·彭泽克

多代理系统的规范和验证。 （英语） Zbl 1250.68190号

Nick Bezhanishvili等人，《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根，2010年8月，ESSLLI2011年，斯洛文尼亚卢布尔雅那，2011年8月。精选课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-31484-1/pbk）。计算机科学课堂讲稿7388，210-263（2012）。
MSC公司：60年第68季度 03B45 68T27型 68T42型 91A99型 91B14号机组
PDF格式BibTeX公司 XML格式引用
\textit{W.Jamroga}和\textit{W.Penczek}，莱克特。注释计算。科学。7388、210-263（2012年；Zbl 1250.68190）
全文： 内政部
拉杜·马特埃斯库；佩德罗·蒙泰罗。；埃斯特尔·杜马斯；德容、希德

CTRL：CTL的扩展，带有正则表达式和公平操作符，用于验证遗传调控网络。 （英语） Zbl 1231.68163号

西奥。计算。科学。 412，第26号，2854-2883（2011）.
审核人：马丁·兰格（卡塞尔）
MSC公司：60年第68季度 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Mateescu}等人，Theor。计算。科学。412，第26号，2854--2883（2011；Zbl 1231.68163）
全文： 内政部 链接
艾默生·E·艾伦

模型检查的含义。 （英语） Zbl 1274.68183号

Dennis Dams（编辑）等人，《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林：施普林格出版社（ISBN 978-3-642-11511-0/pbk）。计算机科学课堂讲稿5930，237-249（2010）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.A.Emerson}，莱克特。注释计算。科学。5930237--249（2010年；Zbl 1274.68183）
全文： 内政部
亚历山大·杜雷特·卢茨；丹尼斯·波特雷诺；Jean-Michel库弗勒

基于转换的Street自动机的动态空性检查。 （英语） Zbl 1262.68118号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，213-227（2009）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Duret-Lutz}等人，Lect。注释计算。科学。5799、213--227（2009年；Zbl 1262.68118）
全文： 内政部
克里斯特尔·拜尔；马库斯·格罗斯尔；Frank Ciesinski先生

公平约束下的定量分析。 （英语） Zbl 1262.68102号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799135-150（2009）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。5799、135-150（2009年；Zbl 1262.68102）
全文： 内政部
彼得·尼伯特；多龙·贝利德；阿米尔·普努利

鉴别模型检查。 （英语） Zbl 1155.68444号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123，504-516（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Niebert｝等人，Lect。注释计算。科学。5123、504--516（2008年；Zbl 1155.68444）
全文： 内政部
马蒂亚斯·施马尔茨；哈根·沃尔泽；丹尼尔·瓦拉卡

模型检查几乎所有路径的成本可能低于检查所有路径的费用。 （英语） Zbl 1135.68481号

Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855，532-543（2007）。
MSC公司：60年第68季度 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmalz}等人，Lect。注释计算。科学。4855、532--543（2007年；Zbl 1135.68481）
全文： 内政部 链接
乔瓦娜·达戈斯蒂诺；马尔科·霍伦伯格

关于（mu）-演算的逻辑问题：插值、林登和奥斯-塔斯基。 （英语） Zbl 0982.03011号

J.塞姆。日志。 65，第1期，310-332（2000）.
审核人：彼得·扬查尔（俄斯特拉发）
MSC公司：03B45 03B70号 60年第68季度 05年3月 03C68号 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{G.D'Agostino}和textit{M.Hollenberg}，J.Symb。日志。65，编号1，310-332（2000；Zbl 0982.03011）
全文： 内政部
莫妮卡·劳赫·亨廷格；简·阿恩·特勒

用于Streett自动机非空性和通信协议修剪的更快算法。 （英语） Zbl 1502.68383号

Karlsson，Rolf（编辑）等人，《算法理论——SWAT’96》。第五届斯堪的纳维亚算法理论研讨会，冰岛雷克雅未克，1996年7月3日至5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1097, 16-27 (1996).
MSC公司：68瓦40 68个M12 65年第68季度 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Henzinger}和\textit{J.A.Telle}，莱克特。注释计算。科学。1097，16-27（1996年；Zbl 1502.68383）
全文： 内政部
五月，沃尔夫冈；彼得·施密特。

一阶分支时间逻辑的表演算。 （英语） Zbl 1422.03028号

Gabbay，Dov M.（编辑）等人，《实践推理》。1996年6月3日至7日在德国波恩举行的1996年FAPR正式和应用实践推理国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1085, 399-413 (1996).
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.May}和\textit{P.H.Schmitt}，莱克特。注释计算。科学。1085399-413（1996年；Zbl 1422.03028）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件