×

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

最新的 引文 关联
卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。

线性时序逻辑——从无限到有限。 （英语） Zbl 1497.03035号

Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 3-12 (2021).
MSC公司：03B44号 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.M.Tabajara}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。12971，3-12（2021；Zbl 1497.03035）
全文： 内政部
丹尼尔·奈德;亚历山大·韦内特;马丁·齐默尔曼

鲁棒、表达和定量的线性时间逻辑：免费选择任意两个。 （英语） 兹比尔1487.68159

Leroux，Jéróme（ed.）等人，第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年9月2日至3日，法国波尔多，GandALF 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）305，1-16（2019）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Neider}等人，《电子》。程序。西奥。计算。科学。（EPTCS）305，1-16（2019；Zbl 1487.68159）
全文： arXiv公司 链接
基尼，迪利普;马赫什·维斯瓦纳坦

根据LTL规范检查MDP模型的复杂性。 （英语） Zbl 1491.68111号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第35条，第13页（2018年）。
MSC公司：60年第68季度 03B44号 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kini}和\textit{M.Viswanathan}，LIPIcs——莱布尼茨国际程序。通知。93，第35条，第13页（2018年；Zbl 1491.68111）
全文： 内政部
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼

图形游戏和反应合成。 （英语） Zbl 1392.68233号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962（2018）。
MSC公司：60年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233）
全文： 内政部
基尼，迪利普;马赫什·维斯瓦纳坦

LTL到限制确定性自动机的最佳转换。 （英语） Zbl 1452.68121号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。10206, 113-129 (2017).
MSC公司：60年第68季度 03B44号 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kini}和\textit{M.Viswanathan}，莱克特。注释计算。科学。10206、113--129（2017；Zbl 1452.68121）
全文： 内政部 链接
简·Křetínsk;托拜厄斯·梅根多夫;克拉拉·沃尔德曼;马克西米利安·威宁格

用于将拉宾自动机转换为奇偶自动机的索引外观记录。 （英语） Zbl 1452.68108号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 443-460 (2017).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Křetínskඃ}et al.，Lect。注释计算。科学。10205、443--460（2017；Zbl 1452.68108）
全文： 内政部 arXiv公司
Chebotarev，A.N。

一阶逻辑语言LP和LF中指定的（Sigma）-自动机的合成问题。 （英语。俄文原件） Zbl 1380.68271号

赛博。系统。分析。 53，第5号，675-683（2017）; 翻译自Kibern。修女。分析。2017年，第5号，22-33（2017）。
MSC公司：60年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\发短信{切博塔列夫}，赛博。系统。分析。53，第5号，675--683（2017；Zbl 1380.68271）；翻译自Kibern。修女。分析。2017年第5号、第22-33号（2017）
全文： 内政部
大卫·布雷索林;伊万·拉内斯

大多数通用的属性保护更新。 （英语） Zbl 1485.68135号

Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 367-379 (2017).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Bresolin}和\textit{I.Lanese}，莱克特。注释计算。科学。10168、367--379（2017；Zbl 1485.68135）
全文： 内政部 哈尔
盖尔·方丹;法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;洛雷达纳·索伦蒂诺

计算树逻辑中的循环检测。 （英语） Zbl 1478.68158号

Cantone，Domenico（ed.）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226164-177（2016）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{G.Fontaine}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226164--177（2016；Zbl 1478.68158）
全文： 链接
普拉蒂斯·达塔;拉塔·杜塔;苏拉夫·穆霍帕德海伊

内部产品的功能加密，具有完整的功能隐私。 （英语） Zbl 1388.94046号

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，164-195（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛P.Datta｝等人，Lect。注释计算。科学。9614，164--195（2016；Zbl 1388.94046）
全文： 内政部
Chebotarev，A.N。

交互自动机的协调。 （英语。俄文原件） Zbl 1328.68110号

赛博。系统。分析。 51，第5号，676-686（2015）; 翻译自Kibern。修女。分析。2015年第2期，13-25（2015）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。51，No.5，676--686（2015；Zbl 1328.68110）；翻译自Kibern。修女。分析。2015年第2期、第13-25期（2015年）
全文： 内政部
芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆

发现并修复故障。 （英语） Zbl 1263.68112号

J.计算。系统。科学。 78，第2期，441-460（2012）.
审核人：约翰·乔治·格兰斯特罗姆（苏黎世）
MSC公司：60年第68季度 91A80型 03B70号 68纳米30 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Jobstmann}等人，J.计算。系统。科学。78，No.2，441--460（2012；Zbl 1263.68112）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件