艾斯瓦里亚，C。；贝内迪克特·博利格；保罗·加斯丁 验证分布式算法的自动机理论方法。 （英语） Zbl 1390.68421号 Inf.计算。 259，第3部分，305-327（2018）.MSC公司：60年第68季度 65年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{C.Aiswarya}等人，《信息计算》。259，第3部分，305-327（2018；兹bl 1390.68421） 全文： 内政部 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） 全文： 内政部 哈尔
西里亚克·艾斯瓦里亚；贝内迪克特·博利格；保罗·加斯丁 验证分布式算法的自动机理论方法。 （英语） 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） 全文： 内政部
阿克西，S。；保罗·加斯丁；马达瓦恩·穆昆德；Kumar，K.纳拉扬 检查基于时间约束的场景规范的一致性。 （英语） Zbl 1328.68124号 西奥。计算。科学。 594, 24-43 (2015).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人，Theor。计算。科学。594，24-43（2015；Zbl 1328.68124） 全文： 内政部
贝内迪克特·博利格；保罗·加斯丁；阿克谢·库马尔 参数化通信自动机：补充和模型检查。 （英语） 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–莱布尼茨国际信息学论文集29625-637（2014）。MSC公司：60年第68季度 05年3月 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，LIPIcs——莱布尼茨国际程序。通知。29625--637（2014年；Zbl 1360.68577） 全文： 内政部
艾斯瓦里亚，C。；保罗·加斯丁；Narayan Kumar，K。 通过分宽度验证通信多按钮系统。 （英语） 兹比尔1448.68283 Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，2014年亚洲电视协会第12届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8837, 1-17 (2014).MSC公司：60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Aiswarya}等人，Lect。票据计算。科学。8837，1-17（2014；Zbl 1448.68283） 全文： 内政部
贝内迪克特·博利格；保罗·加斯丁；贾娜·舒伯特 上下文边界下通信自动机的参数化验证。 （英语） 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） 全文： 内政部 哈尔
贝内迪克特·博利格；Cyriac，艾斯瓦里亚；保罗·加斯丁；马克·泽顿 并发递归程序的时态逻辑：可满足性和模型检查。 （英语） Zbl 1310.68142号 J.应用。日志。 12，第4号，395-416（2014）.MSC公司：60年第68季度 03B44号 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，J.Appl。日志。12，第4号，395--416（2014；Zbl 1310.68142） 全文： 内政部
艾斯瓦里亚，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） 全文： 内政部 哈尔
保罗·加斯丁；纳塔利·斯兹纳杰德 异步分布式系统的公平综合。 （英语） Zbl 1353.68202号 ACM事务处理。计算。日志。 第14号第2条第9条第31页（2013年）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}和\textit{N.Sznajder}，ACM Trans。计算。日志。14，第2号，第9条，第31页（2013；Zbl 1353.68202） 全文： 内政部
阿克西，S。；贝内迪克特·博利格；保罗·加斯丁 事件时钟消息传递自动机：逻辑特征和空性检查算法。 （英语） Zbl 1291.68239号 形式方法系统。设计。 42，第3期，262-300（2013）.MSC公司：60年第68季度 65年第68季度 03B70号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人，《形式方法系统》。设计。42，第3626-300号（2013年；兹bl 1291.68239） 全文： 内政部
贝内迪克特·博利格；保罗·加斯丁；本杰明·蒙梅格 嵌套单词上的加权规范。 （英语） 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。票据计算。科学。7794385-400（2013年；兹比尔1260.68228） 全文： 内政部
斯特凡·德姆里；保罗·加斯丁 使用时序逻辑进行规范和验证。 （英语） 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） 全文： 内政部 哈尔
贝内迪克特·博利格；Cyriac，艾斯瓦里亚；保罗·加斯丁；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） 全文： 内政部
贝内迪克特·博利格；Cyriac，艾斯瓦里亚；保罗·加斯丁；马克·泽顿 并发递归程序的时态逻辑：可满足性和模型检查。 （英语） 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） 全文： 内政部 哈尔
阿克西，S。；保罗·加斯丁；马达瓦恩·穆昆德；K.Narayan Kumar 模型检查基于时间约束的场景规范。 （英语） Zbl 1245.68129号 Lodaya，Kamal（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010），2010年12月15日至18日，印度钦奈。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-23-1）。LIPIcs–莱布尼茨国际信息学会议录8204-215，仅电子版（2010年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Akshay｝等人，LIPIcs——莱布尼茨国际期刊。通知。8204-215（2010年；Zbl 1245.68129） 全文： 内政部 链接
保罗·加斯丁；Nathalie Sznajder女士；马克·泽顿 用于连接良好的体系结构的分布式合成。 （英语） Zbl 1180.68056号 形式方法系统。设计。 34，第3期，215-237（2009）.MSC公司：64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}等人，《形式方法系统》。设计。34，第3号，215--237（2009；Zbl 1180.68056） 全文： 内政部 哈尔
托马斯·查泰恩；保罗·加斯丁；纳塔利·斯兹纳杰德 自然规范为异步系统的分布式综合提供了可判定性。 （英语） 兹比尔1206.68210 Nielsen，Mogens（编辑）等人，SOFSEM 2009：计算机科学的理论与实践。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。计算机科学课堂讲稿54041-152（2009）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chatain}等人，Lect。票据计算。科学。5404、141--152（2009年；Zbl 1206.68210） 全文： 内政部
普尼特·巴特亚；保罗·加斯丁；马达瓦恩·穆昆德 重新审视异步通信测试。 （英语） Zbl 1161.68349号 Graf，Susanne（编辑）等人，《验证和分析自动化技术》。2006年10月23日至26日，第四届国际研讨会，ATVA 2006，中国北京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-47237-7/pbk）。计算机科学课堂讲稿4218369-383（2006）。MSC公司：68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bhateja}等人，Lect。票据计算。科学。4218、369--383（2006年；Zbl 1161.68349） 全文： 内政部
保罗·加斯丁；纳塔利·斯兹纳杰德；马克·泽顿 用于连接良好的体系结构的分布式合成。 （英语） Zbl 1177.68146号 Arun-Kumar，S.（编辑）等人，FSTTCS 2006：软件技术和理论计算机科学基础。第26届国际会议，印度加尔各答，2006年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-49994-7/pbk）。计算机科学课堂讲稿4337，321-332（2006）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}等人，Lect。票据计算。科学。4337、321--332（2006年；Zbl 1177.68146） 全文： 内政部 哈尔
沃尔克·迪克特；保罗·加斯丁 对于Mazurkiewicz轨迹，纯粹的未来局部时间逻辑是表达完整的。 （英语） Zbl 1196.68155号 Farach Colton，Martin（编辑），拉丁语2004：理论信息学。第六届拉丁美洲研讨会，阿根廷布宜诺斯艾利斯，2004年4月5-8日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21258-2/pbk）。计算机科学课堂讲稿2976232-241（2004）。MSC公司：68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{P.Gastin}，莱克特。票据计算。科学。2976，232--241（2004；Zbl 1196.68155） 全文： 内政部
保罗·加斯丁；皮埃尔·莫罗；马克·泽顿 SPIN中反例的最小化。 （英语） Zbl 1125.68369号 Graf，Susanne（编辑）等人，《模型检查软件》。第11届SPIN国际研讨会，西班牙巴塞罗那，2004年4月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21314-7/pbk）。计算机科学课堂讲稿298992-108（2004）。MSC公司：68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}等人，Lect。票据计算。科学。2989，92-108（2004年；兹比尔1125.68369） 全文： 内政部
保罗·加斯丁；迪特里赫·库斯克 MSO可定义时态逻辑的可满足性和模型检查在PSPACE中。 （英语） Zbl 1195.68068号 Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。票据计算。科学。2761, 222-236 (2003).MSC公司：68问题85 03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}和\textit{D.Kuske}，莱克特。票据计算。科学。2761222--236（2003年；Zbl 1195.68068） 全文： 内政部
保罗·加斯丁；丹尼斯·奥杜克斯 具有过去和双向极弱交替自动机的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） 全文： 内政部
保罗·加斯丁；马达瓦恩·穆昆德；K.Narayan Kumar 对于Mazurkiewicz记录道，具有过去常量的本地LTL是完全的。 （英语） 兹比尔1124.68391 Rovan，Branislav（编辑）等人，《计算机科学数学基础》，2003年。2003年8月25-29日在斯洛伐克布拉迪斯拉发举行的第28届国际研讨会，MFCS 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40671-9/pbk）。莱克特。票据计算。科学。2747, 429-438 (2003).MSC公司：68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}等人，Lect。票据计算。科学。2747429--438（2003年；Zbl 1124.68391） 全文： 内政部
保罗·加斯丁；马达瓦恩·穆昆德 Mazurkiewicz轨迹的基本表达完整时序逻辑。 （英语） Zbl 1057.68058号 Peter Widmayer（编辑）等人，《自动化、语言和编程》。第29届国际学术讨论会，ICALP 2002，西班牙马拉加，2002年7月8日至13日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43864-5）。莱克特。票据计算。科学。2380, 938-949 (2002).MSC公司：60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}和\textit{M.Mukund}，莱克特。票据计算。科学。2380938--949（2002年；Zbl 1057.68058） 全文： 链接
沃尔克·迪克特；保罗·加斯丁 对于Mazurkiewicz痕迹，LTL是明确完整的。 （英语） Zbl 1013.68130号 J.计算。系统。科学。 64，第2期，396-418（2002）.MSC公司：68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{P.Gastin}，J.Compute。系统。科学。64，第2号，396--418（2002；Zbl 1013.68130） 全文： 内政部
沃尔克·迪克特；保罗·加斯丁 局部时态逻辑对于齿状图相关字母表来说是完全的。 （英语） Zbl 1275.68089号 Nieuwenhuis，Robert（编辑）等人，《编程逻辑、人工智能和推理》。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42957-3/pbk）。计算机科学课程讲稿2250。人工智能讲义，55-69（2001）。MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{P.Gastin}，莱克特。票据计算。科学。2250、55-69（2001年；Zbl 1275.68089） 全文： 内政部
保罗·加斯丁；丹尼斯·奥杜克斯 快速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｝，Lect。票据计算。科学。2102、53-65（2001年；Zbl 0991.68044） 全文： 链接
Derepas，Fabrice公司；保罗·加斯丁 使用Spin对复制进程的模型检查系统进行建模。 （英语） Zbl 0985.68521号 马修·德怀尔（编辑），《模型检查软件》。第八届国际SPIN研讨会，加拿大多伦多，2001年5月19日至20日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2057, 235-251 (2001).MSC公司：60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Derepas}和\textit{P.Gastin}，莱克特。票据计算。科学。20573235-251（2001年；兹bl 0985.68521） 全文： 链接
沃尔克·迪克特；保罗·加斯丁 对于Mazurkiewicz痕迹，LTL是明确完整的。 （英语） Zbl 0973.68165号 Montanari，Ugo（编辑）等人，《自动化、语言和编程》。第27届国际学术讨论会，ICALP 2000，瑞士日内瓦，2000年7月9日至15日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1853, 211-222 (2000).MSC公司：68问题85 60年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{P.Gastin}，莱克特。票据计算。科学。1853，211-222（2000；Zbl 0973.68165）
沃尔克·迪克特；保罗·加斯丁 Mazurkiewicz迹的一种表示完整的时态逻辑，没有过去时操作符。 （英语） Zbl 0942.03028号 Flum，Jörg（编辑）等人，《计算机科学逻辑》。第十三届国际研讨会，CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。第1683188-203页（1999年）。MSC公司：03B44号 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{P.Gastin}，莱克特。票据计算。科学。1683188-203（1999；Zbl 0942.03028）