洛依茨海露;埃尔文·马尔坎德;布莱斯·基内斯特;托马斯·加扎涅尔 根据场景进行诊断。 （英语） Zbl 1302.93147号 离散事件动态。系统。 24，第4期，353-415（2014）.MSC公司：93元65角 93个B07 93B40码 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Hélouét}等人，《离散事件动力学》。系统。24，第4号，353--415（2014；Zbl 1302.93147） 全文： DOI程序 哈尔
阿克西，S。;布莱斯·基内斯特;洛依茨海露;杨少发 时间约束MSC图的正则表示集。 （英语） Zbl 1243.68218号 信息处理。莱特。 112，第14-15号，592-598（2012）.MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人，《Inf.过程》。莱特。112，No.14--15，592--598（2012；Zbl 1243.68218） 全文： DOI程序 哈尔
托马斯·加扎涅尔;布莱斯·基内斯特;洛依茨海露;蒂亚加拉扬，P.S。;杨绍发 因果信息序列图。 （英语） 兹比尔1187.68081 西奥。计算。科学。 410，第41号，4094-4110（2009）.MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{T.Gazagnaire}等人，Theor。计算。科学。410，第41号，4094--4110（2009；Zbl 1187.68081） 全文： DOI程序 链接
布莱斯·基内斯特;安卡·穆斯科尔 分层消息序列图的模式匹配和成员身份。 （英语） Zbl 1140.68038号 理论计算。系统。 42，第4期，536-567（2008）.MSC公司：60年第68季度 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{B.Genest}和\textit{A.Muscholl}，理论计算。系统。42，第4号，536--567（2008；Zbl 1140.68038） 全文： DOI程序
伊迪丝·埃尔金;Blaise基因;多龙·贝利德;鲍拉·斯波莱蒂尼 量化不一致：消息序列图中的顺序差异。 （英语） Zbl 1141.68504号 Namjoshi，Kedar S.（编辑）等人，用于验证和分析的自动化技术。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762378-393（2007）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Elkind}等人，Lect。注释计算。科学。4762、378--393（2007年；Zbl 1141.68504） 全文： DOI程序 链接
伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德;曲洪阳 灰色方框检查。 （英语） Zbl 1225.68113号 Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229420-435（2006）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Elkind}等人，Lect。注释计算。科学。4229420-435（2006年；Zbl 1225.68113） 全文： DOI程序
布莱斯·基内斯特;迪特里赫·库斯克;安卡·穆斯科尔 存在有界通信自动机的Kleene定理和模型检查算法。 （英语） Zbl 1104.68066号 Inf.计算。 204，第6号，920-956（2006）.MSC公司：60年第68季度 68周05 65年第68季度 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit｛B.Genest｝等人，信息计算。204，第6号，920--956（2006；Zbl 1104.68066） 全文： DOI程序
Blaise基因;安卡·穆斯科尔;赫尔穆特·塞德尔;马克·泽顿 无限状态高级MSC：模型检查和可实现性。 （英语） Zbl 1105.68071号 J.计算。系统。科学。 72，第4期，617-647（2006）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Genest}等人，《计算杂志》。系统。科学。72，第4号，617--647（2006；Zbl 1105.68071） 全文： DOI程序