×

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

最新的 引文 关联
安东尼娅·莱切纳;理查德·迈尔;约尔·瓦克宁;阿默里·波利;詹姆斯·沃雷尔

模型检查平面冻结单计数器自动机上的LTL。 （英语） 兹比尔1405.68187

日志。方法计算。科学。 14，第4号，第20号论文，21页（2018年）。
MSC公司：60年第68季度 03B25号 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Lechner}等人，日志。方法计算。科学。14，第4号，第20号论文，21页（2018；Zbl 1405.68187）
全文： 内政部 arXiv公司
帕特里夏·鲍耶;弗朗索瓦·拉鲁西尼;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔

时间时序逻辑。 （英语） Zbl 1431.03032号

Aceto，Luca（编辑）等人，《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。10460, 211-230 (2017).
MSC公司：03B44号 05年3月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。10460211-230（2017；Zbl 1431.03032）
全文： 内政部 哈尔
安东尼娅·莱切纳;理查德·迈尔;约尔·瓦克宁;阿默里·波利;詹姆斯·沃雷尔

单计数器自动机上的模型检查平冻结LTL。 （英语） Zbl 1392.68257号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学论文集59，第29条，第14页（2016）。
MSC公司：60年第68季度 03B25号 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Lechner}等人，LIPIcs——莱布尼茨国际程序。通知。59，第29条，第14页（2016；Zbl 1392.68257）
全文： 内政部
兰科·拉齐奇;约尔·瓦克宁;詹姆斯·沃雷尔

芝诺、大力神和九头蛇：安全度量时间逻辑是阿克曼完成的。 （英语） Zbl 1367.68109号

ACM事务处理。计算。日志。 17号第3条第16条第27页（2016年）。
MSC公司：65年第68季度 03B44号 2017年第68季度 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Lazić}等人，ACM Trans。计算。日志。17，第3号，第16条，第27页（2016；Zbl 1367.68109）
全文： 内政部
蒂莫斯·安东尼奥普洛斯;保罗·亨特;沙哈卜·拉扎;詹姆斯·沃雷尔

三个变量足以满足实时逻辑。 （英语） Zbl 1461.03020号

Andrew Pitts（编辑），《软件科学和计算结构基础》。第18届国际会议，FOSSACS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9034, 361-374 (2015).
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{T.Antonopoulos}等人，Lect。注释计算。科学。9034，361--374（2015；Zbl 1461.03020）
全文： 内政部 arXiv公司
保罗·亨特;约尔·瓦克宁;詹姆斯·沃雷尔

度量时态逻辑的表示完整性。 （英语） Zbl 1366.03184号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。349-357 (2013).
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{P.Hunter}等人，in：2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学，2013年第28届ACM/IEEE计算机科学逻辑年会论文集，2013年LICS。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。349--357（2013年；Zbl 1366.03184）
全文： 内政部 arXiv公司
兰科·拉齐奇;约尔·瓦克宁;詹姆斯·沃雷尔

芝诺、大力神和九头蛇：向下理性终止是阿克曼主义。 （英语） Zbl 1400.03034号

Chatterjee，Krishnendu（编辑）等人，2013年计算机科学数学基础。2013年8月26日至30日，第38届国际研讨会，MFCS 2013，奥地利克洛斯特内堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40312-5/pbk）。计算机科学课堂讲稿8087，643-654（2013）。
MSC公司：03B44号 03D20日 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Lazić}等人，Lect。注释计算。科学。8087、643--654（2013年；Zbl 1400.03034）
全文： 内政部
迈克尔·本尼迪克特;拉斯蒂斯拉夫·伦哈特;詹姆斯·沃雷尔

模型检查和游戏中的双变量与线性时序逻辑。 （英语） Zbl 1343.68151号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901497-511（2011）。
MSC公司：60年第68季度 03B44号 05年3月 87年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Benedikt}等人，Lect。注释计算。科学。6901497--511（2011；Zbl 1343.68151）
全文： 内政部 arXiv公司
克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔

度量时态逻辑的过程代数扩展。 （英语） Zbl 1215.68150号

克利夫·琼斯（编辑）等人，《对C.A.R.霍尔作品的反思》。大多数论文基于2009年4月在英国剑桥举行的庆祝托尼·霍尔75岁生日的会议上的陈述。伦敦：施普林格出版社（ISBN 978-1-84882-911-4/hbk；978-1-848 82-912-1/电子书）。283-300 (2010).
MSC公司：68问题85 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Haase}等人，in：对C.A.R.Hoare工作的反思。大多数论文基于2009年4月在英国剑桥举行的庆祝托尼·霍尔75岁生日的会议上的陈述。伦敦：斯普林格。283--300（2010；Zbl 1215.68150）
全文： 内政部
帕特里夏·鲍耶;尼古拉斯·马基;约尔·瓦克宁;菲利普·施诺贝伦;詹姆斯·沃雷尔

故障信道机器终止时。 （英语） Zbl 1259.68120号

Albers，Susanne（编辑）等人，STACS 2008。第25届计算机科学理论方面国际研讨会，法国波尔多，2008年2月21-23日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-06-4）。LIPIcs–莱布尼茨国际信息学会议录121-132，仅电子版（2008年）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，LIPIcs——莱布尼茨国际程序。通知。121-132（2008；Zbl 1259.68120）
全文： 内政部 arXiv公司 链接
约尔·瓦克宁;詹姆斯·沃雷尔

度量时态逻辑的一些最新结果。 （英语） Zbl 1171.68553号

Cassez，Franck（编辑）等，时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。计算机科学课堂讲稿5215，1-13（2008）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}和\textit{J.Worrell}，莱克特。注释计算。科学。5215，1-13（2008；Zbl 1171.68553）
全文： 内政部
帕特里夏·鲍耶;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔

实时模型检查中的表达性和复杂性。 （英语） Zbl 1155.68426号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。第35届国际学术讨论会，2008年ICALP，冰岛雷克雅未克，2008年7月7日至11日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。计算机科学课堂讲稿5126124-135（2008）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。5126、124--135（2008年；Zbl 1155.68426）
全文： 内政部 哈尔
乔尔·欧·瓦克宁。;詹姆斯·沃雷尔。

关于有限词上度量时态逻辑的可判定性和复杂性。 （英语） 邮编1128.03008

日志。方法计算。科学。 3，第1号，第8号文件，第27页（2007年）。
MSC公司：03B44号 03B25号 05年3月 2015年3月15日 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.O.Ouaknine}和\textit{J.B.Worrell}，Log。方法计算。科学。3，第1号，论文8，27页（2007；Zbl 1128.03008）
全文： 内政部
约尔·瓦克宁;詹姆斯·沃雷尔

关于度量时态逻辑和故障图灵机。 （英语） Zbl 1180.03021号

Aceto，Luca（编辑）等人，《软件科学和计算结构基础》。2006年3月25日至31日在奥地利维也纳举行的第九届国际会议FOSSACS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33045-3/pbk）。《计算机科学讲义》39212117-230（2006）。
MSC公司：03B44号 03B25号 03日第10天 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}和\textit{J.Worrell}，莱克特。注释计算。科学。3921、217--230（2006年；Zbl 1180.03021）
全文： 内政部
约尔·瓦克宁;詹姆斯·沃雷尔

安全度量时态逻辑是完全可判定的。 （英语） Zbl 1180.03020号

Hermanns，Holger（编辑）等人，《系统构建和分析的工具和算法》。2006年3月25日至4月2日在奥地利维也纳举行的第12届国际会议TACAS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33056-9/pbk）。计算机科学课堂讲稿3920，411-425（2006）。
MSC公司：03B44号 03B25号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}和\textit{J.Worrell}，莱克特。注释计算。科学。3920、411--425（2006年；Zbl 1180.03020）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

软件