×

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

最新的 引文 关联
哈维尔·埃斯帕尔扎

回到未来：重新审视线性时序逻辑。 （英语） 兹比尔07495100

Maneth，Sebastian（编辑），自动机的实现和应用。第25届国际会议，CIAA 2021，虚拟活动，2021年7月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12803, 3-13 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}，莱克特。注释计算。科学。12803，3--13（2021；Zbl 07495100）
全文： 内政部
朱利安·布伦纳;塞德尔，贝内迪克特;所罗门·西克特

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];亚历山大·曼塔;托拜厄斯·梅根多夫

LTL合成中奇偶博弈求解的语义标记和学习。 （英语） Zbl 1437.68118号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 404-422 (2019).
MSC公司：60年第68季度 03B44号 65年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Křetínskඃ}et al.，Lect。注释计算。科学。11781、404--422（2019年；Zbl 1437.68118）
全文： 内政部 arXiv公司
戴维德·贾科莫·卡维扎;达拉·阿拉杰;安德拉斯·吉尔吉

GR（1）公式的弱点度量。 （英语） Zbl 1460.68054号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 110-128 (2018).
MSC公司：60年第68季度 03B44号 28A80型 28天20分 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.G.Cavezza}等人，Lect。注释计算。科学。10951、110-128（2018；Zbl 1460.68054）
全文： 内政部 arXiv公司
拜尔，克里斯特尔;卢卡·德·阿尔法罗;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡

模型检查概率系统。 （英语） Zbl 1392.68227号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。963-999 (2018).
MSC公司：60年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，in：模型检查手册。查姆：斯普林格。963--999（2018；Zbl 1392.68227）
全文： 内政部
大卫·米勒;所罗门·西克特

LTL到确定性Emerson-Lei自动机。 （英语） Zbl 1483.68177号

Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256180-194（2017）。
MSC公司：65年第68季度 03B44号 05年3月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Müller}和\textit{S.Sickert}，电子。程序。西奥。计算。科学。（EPTCS）256、180--194（2017；Zbl 1483.68177）
全文： arXiv公司 链接
基尼，迪利普;马赫什·维斯瓦纳坦

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

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

用于将拉宾自动机转换为奇偶自动机的索引外观记录。 （英语） 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公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件