×

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

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

回到未来：重新审视线性时序逻辑。 （英语） Zbl 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）
全文： 内政部
拜尔，克里斯特尔;弗兰蒂舍克·布拉胡德克;亚历山大·杜雷特·卢茨;约阿希姆·克莱因;大卫·米勒;斯特雷切克，简

通用空置检查，以获得乐趣和利润。 （英语） Zbl 1437.68092号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781，445-461（2019）。
MSC公司：65年第68季度 60年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。11781、445--461（2019年；Zbl 1437.68092）
全文： 内政部
基尼，迪利普;马赫什·维斯瓦纳坦

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

线性时序逻辑的极限确定Büchi自动机。 （英语） Zbl 1411.68054号

Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。第28届国际会议，CAV 2016，加拿大安大略省多伦多，2016年7月17日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。9780, 312-332 (2016).
MSC公司：65年第68季度 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Sickert}等人，Lect。注释计算。科学。9780、312--332（2016；Zbl 1411.68054）
全文： 内政部
祖扎纳科马尔科娃;简·Křetínsk

Rabinizer 3:LTL到小型确定性自动机的非安全转换。 （英语） Zbl 1448.68268号

Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8837235-241（2014年）。
MSC公司：65年第68季度 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Komárková}和\textit{J.Křetínskí}，Lect。注释计算。科学。8837、235--241（2014；Zbl 1448.68268）
全文： 内政部
简·Křetínsk;鲁斯兰Ledesma Garza

Rabinizer 2：用于\（\mathrm的小型确定性自动机{长期贷款}_｛\setminus\mathbf｛GU｝｝）。 （英语） Zbl 1410.68231号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8172, 446-450 (2013).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Křetínsk \}和\textit{R.Ledesma Garza}，莱克特。注释计算。科学。8172446--450（2013；Zbl 1410.68231）
全文： 内政部
安德烈亚斯·盖泽;简·Křetínsk;哈维尔·埃斯帕尔扎

Rabinizer：用于\（{\mathrm{LTL}（\mathrm{F}，\mathrm2{G}）}\）的小型确定性自动机。 （英语） Zbl 1374.68259号

Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，72-76（2012）。
MSC公司：65年第68季度 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Gaiser}等人，Lect。注释计算。科学。7561，72——76（2012年；兹比尔1374.68259）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件