×

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

最新的 引文 关联
Tsay，Yih-Kuen先生;莫舍·瓦尔迪。

从线性时序逻辑到Büchi自动机：早期和简单的原理。 （英语） Zbl 1522.68287号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 8-40 (2022).
MSC公司：65年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{Y.-K.Tsay}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。13030，8--40（2022；Zbl 1522.68287）
全文： 内政部
亚历山大·杜雷特·卢茨;艾蒂安·雷诺;马克西米连·科兰热;弗洛里安·伦金;格巴吉迪·艾塞，亚历山大;菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier）;托马斯·梅迪奥尼;安托万·马丁;杰罗姆·杜波伊斯;Clément吉拉德;亨利克·劳科

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

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372174-187（2022）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Duret-Lutz}等人，Lect。注释计算。科学。13372174-187（2022年；Zbl 1514.68128）
全文： 内政部 arXiv公司
科托Mascle;丹尼尔·奈德;马克西米利安·施温格;保罗·塔布阿达;亚历山大·韦内特;马丁·齐默尔曼

从LTL到rLTL监控：通过健壮的语义提高可监控性。 （英语） Zbl 1522.68334号

表格方法系统。设计。 59，编号1-3，170-204（2021）.
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Mascle}等人，《形式方法系统》。设计。59，编号1--3，170-204（2021；Zbl 1522.68334）
全文： 内政部
朱利安·布伦纳;塞德尔，贝内迪克特;所罗门·西克特

LTL到确定性Rabin自动机的验证和合成转换。 （英语） Zbl 07649960号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。141，第11条，第19页（2019年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Brunner}等人，LIPIcs——莱布尼茨国际程序。通知。141，第11条，第19页（2019年；Zbl 07649960）
全文： 内政部
祖扎纳科马尔科娃;简·Křetínsk \345]

Rabinizer 3:LTL到小型确定性自动机的非安全转换。 （英语） Zbl 1448.68268号

Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8837, 235-241 (2014).
MSC公司：65年第68季度 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Komárková}和\textit{J.Křetínskí}，Lect。注释计算。科学。8837、235--241（2014；Zbl 1448.68268）
全文： 内政部
汤姆·巴比亚克;弗兰蒂舍克·布拉胡德克;莫西尔·Křetínsk \345];斯特雷切克，简

LTL到确定性Rabin自动机的有效转换：超越（（F，G）片段。 （英语） Zbl 1414.03003号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8172, 24-39 (2013).
MSC公司：03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Babiak}等人，Lect。注释计算。科学。8172，24-39（2013；Zbl 1414.03003）
全文： 内政部 arXiv公司
李建文;浦、葛光;张丽君;王，郑;何继峰;金·古德斯特兰·拉森

关于LTL范式与Büchi自动机之间的关系。 （英语） Zbl 1390.68435号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，256-270（2013）。
MSC公司：60年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{J.Li}等人，Lect。注释计算。科学。8051256-270（2013年；Zbl 1390.68435）
全文： 内政部 arXiv公司
安德烈亚斯·盖泽;简·Křetínsk \345];哈维尔·埃斯帕尔扎

Rabinizer：用于\（{\mathrm{LTL}（\mathrm{F}，\mathrm2{G}）}\）的小型确定性自动机。 （英语） Zbl 1374.68259号

Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，72-76（2012）。
MSC公司：65年第68季度 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Gaiser}等人，Lect。注释计算。科学。7561、72-76（2012年；Zbl 1374.68259）
全文： 内政部
雷米发动机盖

具有一个零检验的向量加法系统的LTL的可判定性。 （英语） Zbl 1348.68157号

Delzanno，Giorgio（编辑）等人，《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24287-8/pbk）。计算机科学课堂讲稿6945，85-95（2011）。
MSC公司：68问题85 03B25号 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.阀盖}，Lect。注释计算。科学。6945，85-95（2011；Zbl 1348.68157）
全文： 内政部
Bae，Kyungmin先生;何塞·梅塞盖尔

重写Maude模型检查器的线性时序逻辑。 （英语） 兹比尔1306.68099

厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿6381208-225（2010）。
MSC公司：60年第68季度 03B44号 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Bae}和\textit{J.Meseguer}，莱克特。注释计算。科学。6381208-225（2010年；Zbl 1306.68099）
全文： 内政部
朱利安·克里斯托

任意线性时间上的自动机和时序逻辑。 （英语） Zbl 1248.68293号

Kannan，Ravi（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15日至17日，印度坎普尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-13-2）。LIPIcs–莱布尼茨国际信息学会议录4，133-144，仅电子版（2009年）。
MSC公司：65年第68季度 05年3月 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛J.Cristau｝，LIPIcs——莱布尼茨国际会议记录。通知。4、133--144（2009年；Zbl 1248.68293）
全文： 内政部 链接
亚历山大·辛普夫;斯蒂芬·默兹;斯马乌斯，Jan-Georg

在Isabelle/HOL中验证了用于LTL模型检查的Büchi自动机的构造。 （英语） Zbl 1252.68196号

Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记5674，424-439（2009）。
MSC公司：60年第68季度 03B44号 05年3月 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{A.Schimpf}等人，Lect。注释计算。科学。5674424--439（2009年；Zbl 1252.68196）
全文： 内政部
莫舍·瓦尔迪。

从哲学到工业逻辑。 （英语） Zbl 1209.68325号

Ramanujam，R.（编辑）等人，《逻辑及其应用》。2009年1月7日至11日，第三届印度会议，ICLA 2009，印度钦奈。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92700-6/pbk）。计算机科学讲义5378。人工智能课堂讲稿，89-115（2009）。
MSC公司：60年第68季度 03B44号 03B70号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。5378，89-115（2009年；Zbl 1209.68325）
全文： 内政部
Tsay，Yih-Kuen先生;陈玉芳;蔡明勋;陈文钦;罗、池建

目标扩展：面向欧米伽自动机和时序逻辑的研究工具。 （英语） Zbl 1134.68420号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963346-350（2008）。
MSC公司：60年第68季度 65年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛Y.-K.Tsay｝等人，Lect。注释计算。科学。4963346--350（2008年；Zbl 1134.68420）
全文： 内政部
德沃尔夫，M。;Doyen，L。;新泽西州梅奎特。;J.-F.拉斯金。

反链：LTL可满足性和模型检查的替代算法。 （英语） Zbl 1134.68404号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963，63-77（2008）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.De Wulf}等人，Lect。注释计算。科学。4963、63--77（2008年；Zbl 1134.68404）
全文： 内政部
安德烈亚斯·莫根斯顿;克劳斯·施耐德

从LTL到符号表示的确定自动机。 （英语） 兹比尔1138.68454

Logozzo，Francesco（编辑）等人，《验证、模型检查和抽象解释》。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。计算机科学课堂讲稿4905279-293（2008）。
MSC公司：60年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Morgenstern}和\textit{K.Schneider}，莱克特。注释计算。科学。49057279-293（2008年；兹bl 1138.68454）
全文： 内政部
多梅尼科·比安库利;鲍拉·斯波莱蒂尼;安杰洛·莫尔岑蒂;马蒂奥·普拉德拉;圣彼得罗，皮耶路易吉

使用Trio2Polomela检查模型时间度量规范。 （英语） Zbl 1141.68452号

Arbab，Farhad（编辑）等人，软件工程基础国际研讨会。国际研讨会，FSEN 2007，伊朗德黑兰，2007年4月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75697-2/pbk）。计算机科学课堂讲稿4767388-395（2007）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Bianculli}等人，Lect。注释计算。科学。4767388--395（2007年；Zbl 1141.68452）
全文： 内政部
拉德克·佩拉内克;斯特雷切克，简

LTL和交替自动机之间的深层联系。 （英语） Zbl 1172.68523号

Farré，Jacques（编辑）等人，《自动机的实现和应用》。第十届国际会议，CIAA 2005，法国索菲亚·安蒂波利斯，2005年6月27日至29日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-31023-1/pbk）。计算机科学课堂讲稿3845238-249（2006）。
MSC公司：65年第68季度 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Pelánek}和\textit{J.Strejček}，莱克特。注释计算。科学。3845238--249（2006年；Zbl 1172.68523）
全文： 内政部
卡斯滕·弗里茨

LTL中的自动机构造概念。 （英语） Zbl 1143.68436号

Sutcliffe，Geoff（编辑）等人，《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30553-8/pbk）。计算机科学课堂讲稿3835728-742（2005）。
MSC公司：65年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{C.Fritz}，莱克特。注释计算。科学。3835728--742（2005年；Zbl 1143.68436）
全文： 内政部
保罗·加斯廷;丹尼斯·奥杜克斯

具有过去和双向非常弱交替自动机的LTL。 （英语） Zbl 1124.68387号

Rovan，Branislav（编辑）等人，《2003年计算机科学的数学基础》。2003年8月25-29日在斯洛伐克布拉迪斯拉发举行的第28届国际研讨会，MFCS 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40671-9/pbk）。莱克特。注释计算。科学。2747, 439-448 (2003).
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Gastin}和\textit{D.Oddoux}，莱克特。注释计算。科学。2747439--448（2003年；Zbl 1124.68387）
全文： 内政部
克劳斯·施耐德

通过考虑自动机层次结构改进线性时序逻辑的自动机生成。 （英语） Zbl 1275.68096号

Nieuwenhuis，Robert（编辑）等人，《编程逻辑、人工智能和推理》。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42957-3/pbk）。计算机科学课程讲稿2250。人工智能课堂讲稿，39-54（2001）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Schneider}，莱克特。注释计算。科学。2250、39-54（2001年；Zbl 1275.68096）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件