×

找到143个文档（结果1–100）

最新的 引文 关联
丰田隆树；Shigeki Hagihara；直纪延崎

一种带频率算子的概率时序逻辑及其模型检验。 （英语） Zbl 1457.68171号

Yu，Fang（编辑）等，第十三届无限状态系统验证国际研讨会，台湾台北，2011年10月10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）73、79-93（2011年）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛T.Tomita｝等人，电子。程序。西奥。计算。科学。（EPTCS）73、79--93（2011；Zbl 1457.68171）
全文： arXiv公司 链接
大卫·布雷索林；安吉洛·蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科

MPNL对整数的最优决策过程。 （英语） Zbl 1457.68123号

D'Agostino，Giovanna（编辑）等人，第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利Minori，2011年6月15日至17日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）54192-206（2011）。
MSC公司：65年第68季度 03B25号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Bresolin}等人，《电子》。程序。西奥。计算。科学。（EPTCS）54192-206（2011年；兹bl 1457.68123）
全文： arXiv公司 链接
劳拉，博泽利

不完全信息下推模块检查的新结果。 （英语） Zbl 1457.68160号

D'Agostino，Giovanna（编辑）等人，第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利Minori，2011年6月15日至17日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）54，162-177（2011）。
MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}，电子。程序。西奥。计算。科学。（EPTCS）54，162--177（2011；Zbl 1457.68160）
全文： arXiv公司 链接
马丁·齐默尔曼

参数LTL博弈中的最优边界。 （英语） Zbl 1457.68172号

D'Agostino，Giovanna（编辑）等人，第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利Minori，2011年6月15日至17日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）54146-161（2011年）。
MSC公司：60年第68季度 03B44号 65年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Zimmermann}，电子。程序。西奥。计算。科学。（EPTCS）54、146--161（2011；Zbl 1457.68172）
全文： arXiv公司 链接
劳拉·弗洛伦蒂娜·斯托伊卡；弗罗林·斯托伊卡

关于ATL模型检查器实现的注意事项。 （英语） Zbl 1424.68092号

Simian，Dana（编辑），智能系统的建模和开发。第二届国际会议记录，2011年9月29日至10月2日，罗马尼亚锡比乌。锡比乌：“卢西安·布拉加”大学出版社。170-179 (2011).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.F.Stoica}和\textit{F.Stoicaneneneep，in：智能系统建模和开发。第二届国际会议记录，2011年9月29日至10月2日，罗马尼亚锡比乌。锡比乌：“卢西安·布拉加”大学出版社。170-179（2011；Zbl 1424.68092）
鲁帕克·马朱姆达尔；伊莱恩·雷恩；保罗·塔布阿达

针对未指定干扰的鲁棒离散综合。 （英语） Zbl 1362.68175号

第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，美国伊利诺伊州芝加哥，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。211-220 (2011).
MSC公司：60年第68季度 65年第68季度 93亿B51 93天30分
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。211-220（2011；Zbl 1362.68175）
全文： DOI程序
Dimitar P.Guelev。；达姆，麦兹

有限控制过程的认知谓词。 （英语） Zbl 1347.68225号

van Ditmarsch，Hans（ed.）等人，《第七届模态方法研讨会论文集》（M4M’2011）和第四届多智能体系统逻辑方面研讨会论文集（LAMAS’2011），西班牙奥苏纳，2011年11月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记278229-243（2011）。
MSC公司：60年第68季度 03B42号 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛D.P.Guelev｝和\textit｛M.Dam｝，Electron。注释Theor。计算。科学。278229--243（2011；Zbl 1347.68225）
全文： DOI程序
黛拉·莫妮卡，达里奥；那不勒斯，玛格丽塔；帕伦特，米姆

关于与价格资源代理的联盟博弈的逻辑。 （英语） 兹比尔1347.68337

van Ditmarsch，Hans（ed.）等人，《第七届模态方法研讨会论文集》（M4M’2011）和第四届多智能体系统逻辑方面研讨会论文集（LAMAS’2011），西班牙奥苏纳，2011年11月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记278，215-228（2011）。
MSC公司：68T42型 03B44号 2017年第68季度 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.Della Monica}等人，电子。注释Theor。计算。科学。278215--228（2011年；Zbl 1347.68337）
全文： DOI程序
A.V.Sreejith。

具有模计数和组量词的LTL的表示完整性。 （英语） Zbl 1347.03036号

van Ditmarsch，Hans（ed.）等人，《第七届模态方法研讨会论文集》（M4M’2011）和第四届多智能体系统逻辑方面研讨会论文集（LAMAS’2011），西班牙奥苏纳，2011年11月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记278201-214（2011）。
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Sreejith}，电子。注释Theor。计算。科学。278201--214（2011；Zbl 1347.03036）
全文： DOI程序
约翰·克里斯托弗（John Christopher McCabe-Dansted）

（\mathrm{BCTL}^*\）的根表。 （英语） 兹伯利1347.03035

van Ditmarsch，Hans（ed.）等人，《第七届模态方法研讨会论文集》（M4M’2011）和第四届多智能体系统逻辑方面研讨会论文集（LAMAS’2011），西班牙奥苏纳，2011年11月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记278145-158（2011）。
MSC公司：03B44号 03B35型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.C.McCabe-Dansted}，电子。注释Theor。计算。科学。278145-158（2011年；Zbl 1347.03035）
全文： DOI程序
艾哈迈特·卡拉；托马斯·施温蒂克

混合时序逻辑对数据字的表达能力。 （英语） Zbl 1347.03033号

van Ditmarsch，Hans（ed.）等人，《第七届模态方法研讨会论文集》（M4M’2011）和第四届多智能体系统逻辑方面研讨会论文集（LAMAS’2011），西班牙奥苏纳，2011年11月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记278115-128（2011）。
MSC公司：03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Kara}和\textit{T.Schwentick}，电子。注释Theor。计算。科学。278115--128（2011年；Zbl 1347.03033）
全文： DOI程序
菲利普·巴尔比亚尼；瓦伦丁·戈兰科；圭多·西亚维科

两种排序的时间间隔点逻辑。 （英语） Zbl 1347.03030号

van Ditmarsch，Hans（ed.）等人，《第七届模态方法研讨会论文集》（M4M’2011）和第四届多智能体系统逻辑方面研讨会论文集（LAMAS’2011），西班牙奥苏纳，2011年11月10日至12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》278，31-45（2011）。
MSC公司：03B44号 03B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}等人，《电子》。注释Theor。计算。科学。278，31-45（2011年；兹bl 1347.03030）
全文： DOI程序
奥尔纳·库普弗曼；阿丁·罗森博格

将LTL转换为确定性自动机时的放大。 （英语） Zbl 1327.68161号

范德梅登（van der Meyden）、罗恩（Ron）等，《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修改选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-20673-3/pbk）。计算机科学课堂讲稿6572。人工智能课堂讲稿，85-94（2011）。
MSC公司：60年第68季度 03B44号 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{A.Rosenberg}，莱克特。注释计算。科学。6572，85-94（2011；Zbl 1327.68161）
克里希南德·查特吉；卢卡·德·阿尔法罗；托马斯·亨辛格（Thomas A.Henzinger）。

定性并行平价游戏。 （英语） Zbl 1351.68179号

ACM事务处理。计算。日志。 第12号第4条第28条第51页（2011年）.
MSC公司：68问题85 03B44号 65年第68季度 60年第68季度 91A05型 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《美国医学杂志》。计算。日志。12，第4号，第28条，第51页（2011年；Zbl 1351.68179）
全文： DOI程序
迈克尔·鲍兰德；马丁·蒙德亨克；托马斯·施耐德；海宁·施诺尔；伊尔卡·施诺尔；赫里贝特·沃尔默

LTL模型检查的可处理性：好的、坏的和丑陋的片段。 （英语） Zbl 1351.68151号

ACM事务处理。计算。日志。 第12号第2条第13条第28页（2011年）.
MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bauland}等人，ACM Trans。计算。日志。12，第2号，第13条，第28页（2011年；Zbl 1351.68151）
全文： DOI程序
G.文卡泰什。

带有偏好和游戏推理的时间逻辑。 （英语） Zbl 1319.03039号

van Benthem，Johan（编辑）等人，《证明、计算和代理》。十字路口的逻辑。多德雷赫特：施普林格（ISBN 978-94-007-0920-1/套；978-94-07-0079-6/hbk；978-94-007-0080-2/电子书）。Synthese Library 352，241-258（2011）。
MSC公司：03B44号 91A18号 91A20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Venkatesh}，Synth。伦敦银行同业拆借利率。352241-258（2011年；兹bl 1319.03039）
全文： DOI程序
拜伦·库克；埃里克·科斯金

用决策谓词做预言。 （英语） Zbl 1284.68389号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。399-410 (2011).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}和\textit{E.Koskinen}，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。399-410（2011年；Zbl 1284.68389）
全文： DOI程序
姆巴卡·马布罗基；马克·艾吉尔；Jean-Paul彗星；帕斯卡尔·勒加尔；理查德·阿德里安

嵌入生物监管网络和财产保护。 （英语） 1270.92024兹罗提

数学。计算。科学。 第5期，第3期，第263-288页（2011年）.
MSC公司：第92页第42页 92D10型 68问题85 60年第68季度 03B80号
PDF格式BibTeX公司 XML格式引用
\textit{M.Mabrouki}等人，《数学》。计算。科学。5，第3号，263--288（2011；Zbl 1270.92024）
全文： DOI程序 链接
萨曼莎·克莱恩伯格；巴德·米什拉

因果假设的多重测试。 （英语） Zbl 1381.62017年

McKay Illari，Phylis（编辑）等人，《科学中的因果关系》。牛津：牛津大学出版社（ISBN 978-0-19-957413-1/hbk）。653-672 (2011).
MSC公司：62C12号机组 03A10号 62H15型
PDF格式BibTeX公司 XML格式引用
\textit{S.Kleinberg}和\textit{B.Mishra}，in：科学中的因果关系。牛津：牛津大学出版社。653--672（2011；Zbl 1381.62017）
全文： DOI程序
阿难巴苏；萨德克·本萨勒姆；多龙·贝利德；约瑟夫·西法基斯

基于模型检查的分布式系统优先级调度。 （英语） 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）
全文： DOI程序
克里斯蒂安·莫里纳罗；艾米·斯利娃；苏布拉曼尼亚，V.S。

注释概率时序逻辑中的诱拐。 （英语） 兹比尔1245.68056

Gallagher，John P.（编辑）等人，第27届逻辑编程国际会议的技术交流（ICLP 2011），美国肯塔基州列克星敦，2011年7月6日至10日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-31-6）。LIPIcs–莱布尼茨国际信息学会议录11，240-250，仅电子版（2011年）。
MSC公司：68N17号 03B48号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{C.Molinaro}等人，LIPIcs——莱布尼茨国际程序。通知。11240-250（2011；Zbl 1245.68056）
全文： DOI程序 链接
纪尧姆拍卖行；安德烈亚斯·赫齐格

探索逆向事件的力量。 （英语） Zbl 1258.03021号

Girard，Patrick（编辑）等人，《动态形式认识论》。基于2007年6月在加拿大蒙特利尔举行的“蒙特利尔动态逻辑”研讨会。柏林：施普林格出版社（ISBN 978-94-007-0073-4/hbk；978-94-07-0074-1/电子书）。综合图书馆351，51-74（2011）。
审核人：埃里克·马丁（悉尼）
MSC公司：03B42号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{G.Aucher}和\textit{A.Herzig}，Synth。伦敦银行同业拆借利率。351、51--74（2011；Zbl 1258.03021）
全文： DOI程序 哈尔
是的，奥黛丽

动态认知逻辑与时间情态。 （英语） Zbl 1260.03028号

Girard，Patrick（编辑）等人，《动态形式认识论》。基于2007年6月在加拿大蒙特利尔举行的“蒙特利尔动态逻辑”研讨会。柏林：施普林格出版社（ISBN 978-94-007-0073-4/hbk；978-94-07-0074-1/电子书）。综合图书馆351，33-50（2011）。
审核人：安德烈亚斯·赫齐格（图卢兹）
MSC公司：03B42号 03B44号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Yap}，合成。伦敦银行同业拆借利率。351、33--50（2011年；Zbl 1260.03028）
全文： DOI程序
巴特尔·库伊；埃里克·帕奎特

理性互动的逻辑。 （英语） Zbl 1259.03011号

Girard，Patrick（编辑）等人，《动态形式认识论》。基于2007年6月在加拿大蒙特利尔举行的“蒙特利尔动态逻辑”研讨会。柏林：施普林格出版社（ISBN 978-94-007-0073-4/hbk；978-94-07-0074-1/电子书）。Synthese Library综合图书馆351，5-32（2011）。
MSC公司：03A05号 03B42号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{B.Kooi}和\textit{E.Pacuit}，Synth。伦敦银行同业拆借利率。351、5--32（2011；Zbl 1259.03011）
全文： DOI程序
尼基琴科，M.S。；O.S.谢基尔尼亚克。；谢基尔尼亚克，S.S。

基于复合主格方法构建时间型和认知型模态逻辑。 （乌克兰语。英文摘要） Zbl 1249.03038号

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2011年第3期，204-211（2011）.
MSC公司：03B70号 03B42号 03B44号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{M.S.Nikitchenko}等人，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍夫琴卡，2011年，第3204-211号（2011年；兹bl 1249.03038）
戈皮纳德·西里吉尼迪；安东尼奥斯·索尔多斯；怀特，布莱恩·A。；拉法·比科夫斯基

多无人机系统时间规范的克里普克建模和验证。 （英语） Zbl 1242.68171号

安。数学。Artif公司。智力。 63，第1期，31-52（2011）.
MSC公司：60年第68季度 68T40型 93C85号 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Sirigineedi}等人，《数学年鉴》。Artif公司。智力。63、第1号、第31-52号（2011；Zbl 1242.68171）
全文： DOI程序
马尔科·阿尔贝蒂；皮耶朗基罗·德尔·阿夸；路易斯·莫尼兹·佩雷拉

运行时验证事件检测的观察策略：理论、算法、实验。 （英语） Zbl 1252.68128号

安。数学。Artif公司。智力。 62，编号3-4，161-186（2011）.
MSC公司：2017年第68季度 68单位99 68周25
PDF格式BibTeX公司 XML格式引用
\textit{M.Alberti}等人，《数学年鉴》。Artif公司。智力。62，No.3--4，161--186（2011；Zbl 1252.68128）
全文： DOI程序 链接
本·戈泽尔；尼尔·盖斯威勒；卢西奥·科埃略；Janičić，普雷德拉格；凯西奥·佩纳钦

现实世界推理：朝向可扩展的、不确定的时空、上下文和因果推理。 （英语） 兹比尔1246.68003

亚特兰蒂斯思维机器2.阿姆斯特丹：亚特兰蒂斯出版社（ISBN 978-94-91216-10-7/hbk；978-94.91216-11-4/电子书）。第279页。(2011).
审核人：贾纳·科勒（卢塞恩）
MSC公司：68-01 68T27型 68立方英尺 68层37
PDF格式BibTeX公司 XML格式引用
\textit{B.Goertzel}等人，《现实世界推理：走向可伸缩的、不确定的时空、上下文和因果推理》。阿姆斯特丹：亚特兰蒂斯出版社（2011；Zbl 1246.68003）
全文： DOI程序
丹尼斯·库珀伯格

常规成本函数的线性时序逻辑。 （英语） Zbl 1230.68134号

Schwentick，Thomas（编辑）等人，STACS 2011。2011年3月10日至12日，第28届计算机科学理论方面国际研讨会，德国多特蒙德。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-25-5）。LIPIcs–莱布尼茨国际信息学论文集9，627-636，仅电子版（2011年）。
MSC公司：65年第68季度 03B70号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛D.Kuperberg｝，LIPIcs——莱布尼茨国际期刊。通知。9627-636（2011年；Zbl 1230.68134）
全文： DOI程序 arXiv公司 链接
奥尔纳·库普弗曼；尤德·卢斯蒂格；莫舍·瓦尔迪。；米哈利斯·亚纳卡基斯

有界系统和环境的时间合成。 （英语） Zbl 1230.68144号

Schwentick，Thomas（编辑）等人，STACS 2011。2011年3月10日至12日，第28届计算机科学理论方面国际研讨会，德国多特蒙德。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-25-5）。LIPIcs–莱布尼茨国际信息学会议录9615-626，仅电子版（2011年）。
MSC公司：60年第68季度 65年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，LIPIcs——莱布尼茨国际程序。通知。9615-626（2011年；兹比尔1230.68144）
全文： DOI程序 链接
弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥

具有群体知识的一阶线性时间认知逻辑：一元片段的公理化。 （英语） Zbl 1252.03031号

芬丹。通知。 106，第2-4号，175-190（2011）.
审核人：安德烈亚斯·赫齐格（图卢兹）
MSC公司：03B42号 03B44号 68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{F.Belardinelli}和\textit{A.Lomuscio}，Fundam。通知。106，编号2--4，175-190（2011；Zbl 1252.03031）
全文： DOI程序
克利斯朵夫·查尔顿；朱利安·布鲁内尔；戴维·谢穆伊尔

使用交替时间时序逻辑对代理、目标和操作进行的形式化处理。 （英语） Zbl 1349.68116号

Simao，Adenilso（编辑）等，《形式方法、基础和应用》。2011年9月26日至30日，第14届巴西研讨会，2011年SBMF，巴西圣保罗。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-25031-6/pbk）。计算机科学课堂讲稿7021188-203（2011）。
MSC公司：60年第68季度 03B44号 68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{C.Chareton}等人，Lect。注释计算。科学。7021、188--203（2011；Zbl 1349.68116）
全文： DOI程序 哈尔
阿图尔滑雪；沃伊切赫·彭泽克；阿加塔·波罗拉

基于BDD的1-安全Petri网时间特性的有界模型检验。 （英语） Zbl 1238.68086号

芬丹。通知。 109，第3号，305-321（2011）.
审核人：Maciej Koutny（泰恩河畔纽卡斯尔）
MSC公司：60年第68季度 68问题85 第68季度01 03B44号 68甲19 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{A.Mȩski}等人，Fundam。通知。109，第3号，305-321（2011；Zbl 1238.68086）
全文： DOI程序
巴勃罗·卡斯特罗。；塞西莉亚·基尔默里；阿科斯塔，阿拉塞利；纳扎雷诺·阿吉雷

dCTL：用于容错系统验证的分支时间时序逻辑。 （英语） Zbl 1350.68181号

Barthe，Gilles（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。计算机科学课堂讲稿7041106-121（2011）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{P.F.Castro}等人，Lect。注释计算。科学。7041、106-121（2011年；Zbl 1350.68181）
全文： DOI程序
米盖尔·卡里略；David A.Rosenblueth。

通过保护来保持满意度，从而实现CTL模型的非确定性更新。 （英语） 兹比尔1348.68125

Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996，60-74（2011）。
MSC公司：60年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Carrillo}和\textit{D.A.Rosenblueth}，莱克特。注释计算。科学。6996，60-74（2011；Zbl 1348.68125）
全文： DOI程序
马丁·兰格

线性时间-时间逻辑的大小变化终止和可满足性。 （英语） Zbl 1347.03034号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，28-39（2011）。
MSC公司：03B44号 03B25号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Lange}，莱克特。注释计算。科学。6989，28-39（2011；Zbl 1347.03034）
全文： DOI程序
雷米发动机盖

具有一个零检验的向量加法系统的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）
全文： DOI程序
马尔塞洛·贝尔萨尼。；阿基尔·弗里吉里；罗西，马蒂奥；圣彼得罗，皮耶路易吉

约束LTL有界可满足性问题的完备性。 （英语） 兹伯利1347.03031

Delzanno，Giorgio（编辑）等人，《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24287-8/pbk）。计算机科学课堂讲稿6945，58-71（2011）。
MSC公司：03B44号 03B70号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.M.Bersani}等人，Lect。注释计算。科学。6945、58--71（2011年；Zbl 1347.03031）
全文： DOI程序
迪利普·拉古纳特·基尼；桑卡拉·纳拉亚南·克里希纳；帕里托什·K·潘迪亚。

使用时间投影为\（\mathrm{MITL}[\mathcal{U}，\mathcal{S}]\）构造安全信号自动机。 （英语） Zbl 1348.68106号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿691925-239（2011）。
MSC公司：65年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Kini}等人，Lect。注释计算。科学。691925-239（2011年；Zbl 1348.68106）
全文： DOI程序
圭多州长；安东尼诺·罗托洛

正义被拖延就是正义被剥夺：赔偿和法律遵从的暂时性逻辑。 （英语） Zbl 1348.68238号

Leite，Joáo（编辑）等人，《多智能体系统中的计算逻辑》。第十二届国际研讨会，CLIMA XII，西班牙巴塞罗那，2011年7月17日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22358-7/pbk）。计算机科学课堂讲稿6814。人工智能课堂讲稿，364-382（2011）。
MSC公司：68T27型 03B44号 03B45号 03B80号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{G.总督}和\textit{A.Rotolo}，莱克特。注释计算。科学。6814、364--382（2011年；Zbl 1348.68238）
全文： DOI程序
蒂亚戈，德利马

交替时间临时公告逻辑。 （英语） Zbl 1348.68270号

Leite，Joáo（编辑）等人，《多智能体系统中的计算逻辑》。第十二届国际研讨会，CLIMA XII，西班牙巴塞罗那，2011年7月17日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22358-7/pbk）。计算机科学课堂讲稿6814。人工智能课堂讲稿，105-121（2011）。
MSC公司：68T42型 03B42号 03B44号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.de Lima}，莱克托。注释计算。科学。6814、105-121（2011年；Zbl 1348.68270）
全文： DOI程序
科琳娜·科斯特

模型检查线性组合时序逻辑：一种自动机理论方法。 （英语） Zbl 1344.68137号

Andrea Corradini等人，《计算机科学中的代数和余代数》。2011年8月30日至9月2日在英国温彻斯特举行的2011年CALCO第四届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22943-5/pbk）。计算机科学课堂讲稿6859130-144（2011）。
MSC公司：60年第68季度 03B44号 65年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{C.Cêrstea}，莱克特。注释计算。科学。6859、130-144（2011年；Zbl 1344.68137）
全文： DOI程序 链接
迈克尔·本尼迪克特；拉斯蒂斯拉夫·伦哈特；詹姆斯·沃雷尔

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

Katoen，Joost Pieter（编辑）等人，CONCUR 2011——并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学讲义6901、497-511（2011）。
MSC公司：60年第68季度 03B44号 05年3月 87年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Benedikt}等人，Lect。注释计算。科学。6901497--511（2011；Zbl 1343.68151）
全文： DOI程序 arXiv公司
王法恩；黄忠浩；于、方

策略交互的时间逻辑。 （英语） Zbl 1343.68157号

Katoen，Joost Pieter（编辑）等人，CONCUR 2011——并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901466-481（2011）。
MSC公司：60年第68季度 03B44号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{F.Wang}等人，Lect。注释计算。科学。6901466--481（2011；Zbl 1343.68157）
全文： DOI程序
拉尔斯·库茨；伯恩德·芬克贝纳

弱Kripke结构和LTL。 （英语） Zbl 1343.68155号

Katoen，Joost Pieter（编辑）等人，CONCUR 2011——并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901419-433（2011）。
MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Kuhtz}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。6901419--433（2011；Zbl 1343.68155）
全文： DOI程序
宋磊；张丽君；Jens Chr.Godskesen。

互模拟满足概率自动机的PCTL等价性。 （英语） Zbl 1344.68170号

Katoen，Joost Pieter（编辑）等人，CONCUR 2011——并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901108-123（2011）。
MSC公司：68问题85 03B44号 65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Song}等人，Lect。注释计算。科学。6901108-123（2011；Zbl 1344.68170）
全文： DOI程序 链接
帕里托什·K·潘迪亚。；西莫尼·沙阿。

关于时间逻辑的表达能力：比较有界性、不守时性和确定性冻结。 （英语） Zbl 1343.03011号

Katoen，Joost Pieter（编辑）等人，CONCUR 2011——并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课程讲稿6901，60-75（2011）。
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.K.Pandya}和\textit{S.S.Shah}，莱克特。注释计算。科学。6901、60-75（2011；Zbl 1343.03011）
全文： DOI程序 arXiv公司
博利格，贝内迪克特；西里亚克，爱斯瓦里亚；保罗·加斯丁；马克·泽顿

并发递归程序的时态逻辑：可满足性和模型检查。 （英语） Zbl 1343.68055号

Murlak，Filip（编辑）等人，《2011年计算机科学的数学基础》。2011年8月22日至26日，波兰华沙，第36届国际研讨会，MFCS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22992-3/pbk）。计算机科学课堂讲稿6907132-144（2011）。
MSC公司：68号30 03B44号 03B70号 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，Lect。注释计算。科学。6907132--144（2011；Zbl 1343.68055）
全文： DOI程序 哈尔
张楠；段振华

多核并行计算的语义模型。 （英语） Zbl 1342.68202号

王伟凡（编辑）等，组合优化与应用。第五届国际会议，2011年COCOA，中国张家界，2011年8月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22615-1/pbk）。计算机科学课堂讲稿6831，464-479（2011）。
MSC公司：68问题55 第68季度10
PDF格式BibTeX公司 XML格式引用
\textit｛N.Zhang｝和\textit｛Z.Duan｝，Lect。注释计算。科学。6831464--479（2011年；Zbl 1342.68202）
全文： DOI程序
彼得·柯林斯；伊万·萨普雷夫。

离散时间和连续空间动态系统上（\text{CTL}^*\）的可计算语义。 （英语） Zbl 1238.68084号

发现的国际期刊。计算。科学。 22，第4期，801-821（2011）.
审核人：马丁·兰格（卡塞尔）
MSC公司：60年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{P.Collins}和\textit{I.S.Zaprev}，国际期刊发现。计算。科学。22，第4号，801--821（2011；Zbl 1238.68084）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件