埃马纽埃尔·帕维奥·阿德特;丹尼斯·波特雷诺;艾蒂安·雷诺;蒂里·米格（Yann Thierry-Mieg） LTL在约简条件下比口吃不变性弱。 （英语） Zbl 1499.68204号 Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。2022年6月13日至17日，第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，DisCoTec 2022，意大利卢卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273, 170-187 (2022).MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Paviot-Adet}等人，Lect。注释计算。科学。13273，170-187（2022；Zbl 1499.68204） 全文： DOI程序 arXiv公司 哈尔
埃蒂安·安德烈;黄家阮;劳雷·佩特鲁奇;孙骏 非零度假设下的分布式参数模型检验时间自动机。 （英语） Zbl 1522.68294号 形式方法系统。设计。 59，编号1-3，253-290（2021）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《形式方法系统》。设计。59，编号1--3，253--290（2021；Zbl 1522.68294） 全文： DOI程序
蒂里·米格（Yann Thierry-Mieg） 符号和结构模型检查。 （英语） Zbl 1522.68349号 芬丹。通知。 183，编号3-4，319-342（2021）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Thierry-Mieg}，芬达姆。通知。183，编号3--4，319--342（2021；Zbl 1522.68349） 全文： DOI程序 arXiv公司
Wytse Oortwijn公司;玛丽克·赫斯曼;Joosten，Sebastian J.C。;范德波尔（Jaco van de Pol） 自动验证并行嵌套DFS。 （英语） Zbl 1517.68248号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 247-265 (2020).MSC公司：60年第68季度 68问题85 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{W.Oortwijn}等人，Lect。注释计算。科学。12078，247--265（2020；Zbl 1517.68248） 全文： DOI程序
蒂里·米格（Yann Thierry-Mieg） 重新审视结构缩减。 （英语） Zbl 1503.68196号 Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152, 303-323 (2020).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Thierry-Mieg}，莱克特。注释计算。科学。12152，303--323（2020；Zbl 1503.68196） 全文： DOI程序
徐太华;王国银;杨杰 基于粒化策略寻找简单有向图的强连通分量。 （英语） Zbl 1468.68245号 国际J近似推理 118, 64-78 (2020).MSC公司：68层37 05C85号 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Xu}等人，国际期刊近似推理118，64--78（2020；Zbl 1468.68245） 全文： DOI程序
弗雷德里克·赫布雷托;Tran，Thanh-Tung镇 改进时间自动机可达性测试的搜索顺序。 （英语） 兹比尔1465.68148 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 124-139 (2015).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}和\textit{T.-Tran}，莱克特。注释计算。科学。9268、124--139（2015年；Zbl 1465.68148） 全文： DOI程序 arXiv公司
迈克尔·韦斯特加德;法布里齐奥·马吉（Fabrizio M.Maggi）。 使用有色Petri网对作战支持协议进行建模和验证。 （英语） Zbl 1332.90133号 Kristensen，Lars M.（编辑）等人，《Petri网的应用和理论》。2011年6月20日至24日，英国纽卡斯尔，第32届国际会议，PETRI NETS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21833-0/pbk）。计算机科学课堂讲稿6709169-188（2011）。MSC公司：90B70型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Westergaard}和\textit{F.M.Maggi}，莱克特。注释计算。科学。6709169-188（2011年；兹bl 1332.90133） 全文： DOI程序
Rza Bashirov;Fabrice Kordon公司;赫塞因·洛特 利用有色Petri网来决定置换的可容许性。 （英语） Zbl 1172.68042号 学报信息。 46，第1期，43-55（2009）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bashirov}等人，《信息学报》第46卷第1期，第43-55页（2009年；Zbl 1172.68042） 全文： DOI程序
汉娜·克劳代尔;马西耶·库特尼;伊丽莎白·佩尔兹;法国波默罗 通过动态过程创建实现系统的有效验证。 （英语） Zbl 1161.68622号 Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160186-200（2008）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Klaudel}等人，Lect。注释计算。科学。5160186-200（2008年；Zbl 1161.68622） 全文： DOI程序 哈尔
罗布·范格拉贝克;贝斯·普洛格 修正了一种节省空间的模拟算法。 （英语） Zbl 1155.68450号 Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。《计算机科学讲义》5123517-529（2008）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛R.van-Grabbeek｝和\textit｛B.Ploeger｝，Lect。注释计算。科学。5123、517--529（2008；Zbl 1155.68450） 全文： DOI程序
南卡罗来纳州伊万杰利斯塔。;巴约，C。;普拉达特·佩尔，J.F。 一个简单的正流计算算法，用于一个大型有色网络子类。 （英语） Zbl 1215.68147号 Derrick，John（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73195-5/pbk）。计算机科学课堂讲稿4574177-195（2007）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}等人，莱克特。注释计算。科学。45741177-195（2007年；兹比尔1215.68147） 全文： DOI程序