×

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

最新的 引文 关联
拜尔，克里斯特尔;克莱门斯·杜伯斯拉夫;弗洛里安·芬克;西蒙·扬奇;雅各布皮里鲍尔;齐梅克，罗宾

操作因果关系-必须充分和足够必要。 （英语） Zbl 1524.68185号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 27-45 (2022).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。13560，27-45（2022年；兹比尔1524.68185）
全文： 内政部
帕特里克·加迪;帕特里夏·布耶;尼古拉斯·马基

战略逻辑中的依赖性。 （英语） Zbl 1484.68101号

Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。96，第34条，第15页（2018年）。
MSC公司：60年第68季度 03B44号 65年第68季度 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardy}等人，LIPIcs——莱布尼茨国际程序。通知。96，第34条，第15页（2018；Zbl 1484.68101）
全文： 内政部 arXiv公司
奥尔纳·库普弗曼;加尔省瓦尔迪

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

Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5-8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz 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）
全文： 内政部
弗朗索瓦·拉鲁西尼;尼古拉斯·马基;阿诺德·桑尼尔

\（\mathsf{ATL}_\mathit{sc}\），部分观察。 （英语） Zbl 1476.68151号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193，43-57（2015）。
MSC公司：60年第68季度 03B44号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{F.Laroussinie}等人，《电子》。程序。西奥。计算。科学。（EPTCS）193，43-57（2015；Zbl 1476.68151）
全文： arXiv公司 链接
阿南达·巴苏;萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯

基于模型检验的分布式系统优先级调度。 （英语） Zbl 1260.68030号

表格方法系统。设计。 39，第3期，229-245（2011）.
审核人：皮埃尔·利昂（卡鲁日）
MSC公司：64岁以下 68平方米 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Basu}等人，《形式方法系统》。设计。39，第3号，229--245（2011；Zbl 1260.68030）
全文： 内政部
阿诺达科斯塔;弗朗索瓦·拉鲁西尼;尼古拉斯·马基

具有策略上下文的ATL：表达性和模型检查。 （英语） Zbl 1245.68135号

Lodaya，Kamal（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010），2010年12月15日至18日，印度钦奈。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-23-1）。LIPIcs–莱布尼茨国际信息学会议录8120-132，仅电子版（2010年）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Da Costa}等人，LIPIcs——莱布尼茨国际程序。通知。8120--132（2010；Zbl 1245.68135）
全文： 内政部 链接
法比奥·莫加维罗;穆拉诺，阿尼洛

带有最小模型量词的分支时间时序逻辑。 （英语） Zbl 1247.03026号

Diekert，Volker（编辑）等人，《语言理论的发展》。第13届国际会议，DLT 2009，德国斯图加特，2009年6月30日至7月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02736-9/pbk）。计算机科学课堂讲稿5583，396-409（2009）。
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Mogavero}和\textit{A.Murano}，Lect。注释计算。科学。5583、396--409（2009年；Zbl 1247.03026）
全文： 内政部
托马斯·布里海耶;阿诺达科斯塔;弗朗索瓦·拉鲁西尼;尼古拉斯·马基

具有策略上下文和有限内存的ATL。 （英语） Zbl 1211.03031号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2009年1月3日至6日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2009国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92686-3/pbk）。计算机科学课堂讲稿540792-106（2009）。
MSC公司：03B44号 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Brihaye}等人，Lect。注释计算。科学。5407、92--106（2009年；Zbl 1211.03031）
全文： 内政部
莫舍·瓦尔迪。

从哲学到工业逻辑。 （英语） 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）
全文： 内政部
亚历山德罗·费兰特;那不勒斯，玛格丽塔;帕伦特，米莫

使用分级量词进行CTL模型检查。 （英语） Zbl 1183.68370号

Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311，18-32（2008）。
MSC公司：60年第68季度 03B44号 03B45 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Ferrante}等人，Lect。注释计算。科学。5311、18-32（2008年；Zbl 1183.68370）
全文： 内政部
罗伊·阿莫尼;菲克斯，利莫;阿隆·弗莱舍;奥尔纳·格伦伯格;尼尔·皮特曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。

线性时序逻辑中增强的空虚检测。 （英语） Zbl 1278.68153号

Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，2003年CAV，美国科罗拉多州博尔德，2003年7月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。注释计算。科学。2725, 368-380 (2003).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{R.Armoni}等人，Lect。注释计算。科学。2725、368--380（2003年；Zbl 1278.68153）
全文： 内政部
Schnoebelen博士。

时序逻辑模型检查的复杂性。 （英语） Zbl 1084.03013号

Balbiani，Philippe（编辑）等人，《模态逻辑的进展》。第4卷。2002年10月在法国图卢兹举行的第四届会议（AiML 2002）的论文选集。伦敦：国王学院出版物（ISBN 0-9543006-1-0/pbk；0-9543006-2-9/hbk）。393-436 (2003).
审核人：Manuel Ojeda Aciego（马拉加）
MSC公司：03B44号 60年第68季度 2015年3月1日 68-02 2015年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Ph.Schnoebelen}，in：模态逻辑进展。第4卷。2002年10月在法国图卢兹举行的第四届会议（AiML 2002）的论文选集。伦敦：国王学院出版。393--436（2003年；Zbl 1084.03013）
莫舍·瓦尔迪。

分支与线性时间：最终决战。 （英语） Zbl 0986.68064号

Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2031, 1-22 (2001).
MSC公司：60年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。2031年1月22日（2001年；Zbl 0986.68064）
皮埃尔·沃尔珀;伯纳德·博伊格洛特

关于从线性算术约束构造自动机。 （英语） 兹比尔0964.68082

Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1785, 1-19 (2000).
MSC公司：65年第68季度 05年3月 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Wolper}和\textit{B.Boigelot}，莱克特。注释计算。科学。1785年1月19日（2000年；Zbl 0964.68082）
马可·丹尼尔;福斯托·金奇利亚;莫舍·瓦尔迪。

改进了线性时序逻辑的自动机生成。 （英语） Zbl 1046.68588号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。注释计算。科学。1633, 249-260 (1999).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Daniele}等人，Lect。注释计算。科学。1633、249--260（1999；Zbl 1046.68588）
莫舍·瓦尔迪。

交替自动机：统一时序逻辑的真实性和有效性检查。 （英语） Zbl 1430.68156号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1249, 191-206 (1997).
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。1249、191--206（1997年；Zbl 1430.68156）
全文： 内政部
托马斯·亨辛格。;奥尔纳·库普弗曼;莫舍·瓦尔迪。

一种用于实时模型检查的空效实时算法。 （英语） Zbl 1514.68168号

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

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件