×

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

最新的 引文 相关性
阿克西，S。;保罗·加斯丁;克里希纳，S。;斯巴萨罗伊乔杜里

重温多下推系统的近似可达性。 （英语） Zbl 1507.68080号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 387-404 (2020).
MSC公司：68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Akshay}等人，Lect。注释计算。科学。12078、387--404（2020；Zbl 1507.68080）
全文： DOI程序 arXiv公司
玛丽·福廷;保罗·加斯丁

通过分裂宽度验证参数化通信自动机。 （英语） Zbl 1475.68182号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 197-213 (2016).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Fortin}和\textit{P.Gastin}，莱克特。注释计算。科学。9634，197--213（2016；Zbl 1475.68182）
全文： DOI程序 哈尔
西里亚克·艾斯瓦里亚;贝内迪克特·博利格;保罗·加斯丁

验证分布式算法的自动机理论方法。 （英语） Zbl 1374.68725号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，340-353（2015）。
MSC公司：68宽15 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Aiswarya}等人，LIPIcs——莱布尼茨国际程序。通知。42340-353（2015年；Zbl 1374.68725）
全文： DOI程序
贝内迪克特·博利格;保罗·加斯丁;阿克谢·库马尔

参数化通信自动机：补充和模型检查。 （英语） Zbl 1360.68577号

Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学论文集29，625-637（2014）。
MSC公司：60年第68季度 05年3月 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，LIPIcs——莱布尼茨国际程序。通知。29625--637（2014年；Zbl 1360.68577）
全文： DOI程序
贝内迪克特·博利格;保罗·加斯廷;贾娜·舒伯特

上下文边界下通信自动机的参数化验证。 （英语） Zbl 1448.68286号

Ouaknine，Joöl（编辑）等人，《可达性问题》。2014年9月22日至24日，英国牛津，RP 2014，第八届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8762, 45-57 (2014).
MSC公司：60年第68季度 2017年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，Lect。注释计算。科学。8762、45-57（2014年；Zbl 1448.68286）
全文： DOI程序 哈尔
艾斯瓦里亚，C。;保罗·加斯丁;Narayan Kumar，K。

用于验证通信多按钮系统的控制器。 （英语） Zbl 1417.68111号

Baldan，Paolo（编辑）等人，CONCUR 2014–并发理论。第25届国际会议，CONCUR 2014，罗马，意大利，2014年9月2-5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8704, 297-311 (2014).
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Aiswarya}等人，Lect。注释计算。科学。8704、297--311（2014；Zbl 1417.68111）
全文： DOI程序 哈尔
贝内迪克特·博利格;保罗·加斯丁;本杰明·蒙梅格

嵌套单词上的加权规范。 （英语） Zbl 1260.68228号

Pfenning，Frank（编辑），《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013，是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37074-8/pbk）。计算机科学课堂讲稿7794385-400（2013）。
MSC公司：60年第68季度 68磅05分 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，Lect。注释计算。科学。7794，385--400（2013；Zbl 1260.68228）
全文： DOI程序
斯特凡·德姆里;保罗·加斯廷

使用时序逻辑进行规范和验证。 （英语） Zbl 1256.68101号

D’Souza，Deepak（编辑）等人，自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言：莱因哈德·威廉姆。新泽西州哈肯萨克：世界科学；班加罗尔：IISc出版社（ISBN 978-981-4271-04-2/hbk；978-981-4271-05-9/电子书）。IISc研究专著系列2，457-493（2012）。
MSC公司：65年第68季度 05年3月 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Demri}和\textit{P.Gastin}，IISc Res.Monogr。序列号。2457-493（2012年；Zbl 1256.68101）
全文： DOI程序 哈尔
贝内迪克特·博利格;西里亚克，爱斯瓦里亚;保罗·加斯丁;Narayan Kumar，K。

数据词的模型检查语言。 （英语） Zbl 1352.68145号

Birkedal，Lars（编辑），软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28728-2/pbk）。计算机科学课堂讲稿7213，391-405（2012）。
MSC公司：60年第68季度 03B25号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，Lect。注释计算。科学。7213，391--405（2012；Zbl 1352.68145）
全文： DOI程序
保罗·加斯丁;丹尼斯·奥杜克斯

具有过去和双向极弱交替自动机的LTL。 （英语） Zbl 1124.68387号

Rovan，Branislav（编辑）等人，《2003年计算机科学的数学基础》。2003年8月25-29日在斯洛伐克布拉迪斯拉发举行的第28届国际研讨会，MFCS 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40671-9/pbk）。莱克特。注释计算。科学。2747, 439-448 (2003).
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Gastin}和\textit{D.Oddoux}，莱克特。注释计算。科学。2747439--448（2003年；Zbl 1124.68387）
全文： DOI程序
保罗·加斯丁;丹尼斯·奥杜克斯

快速LTL到Büchi自动机的转换。 （英语） Zbl 0991.68044号

Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2102, 53-65 (2001).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Gastin}和\textit{D.Oddoux}，莱克特。注释计算。科学。2102、53-65（2001年；Zbl 0991.68044）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件