拉贝亚·阿穆尔·布利法；卢多维奇·亨利奥；艾瑞克·马德琳 基于开放pNets的组合等价。 （英语） Zbl 1512.68161号 J.日志。阿尔盖布。方法计划。 131，文章ID 100842，66 p.（2023）.MSC公司：68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Ameur-Boulifa}等人，J.Log。阿尔盖布。方法计划。131，文章ID 100842，66 p.（2023；Zbl 1512.68161） 全文： 内政部 arXiv公司
票价，Elie；Jean-Paul Bodeveix公司；马蒙·菲拉利 用于将系统组合应用程序转换为时间自动机的事件代数。 （英语） 兹比尔1398.68340 学报信息。 55，第5号，363-400（2018）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Fares}等人，Acta Inf.55，No.5，363--400（2018；Zbl 1398.68340） 全文： 内政部 链接
帕特里夏·鲍耶；乌里·法伦贝格；金·古德斯特兰·拉森；尼古拉斯·马基；约尔·瓦克宁；詹姆斯·沃雷尔 模型检查实时系统。 （英语） 兹比尔1392.68235 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235） 全文： 内政部 哈尔
费伦茨·巴伊托；芬德里奇、萨沙；杰拉尔德·吕特根；沃尔特·福格勒 非确定性模态接口。 （英语） Zbl 1345.68231号 西奥。计算。科学。 642, 24-53 (2016).MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}等人，Theor。计算。科学。642、24-53（2016年；Zbl 1345.68231） 全文： 内政部
罗尔夫·亨尼克；亚历山大·纳普 从界面理论转向组装理论。 （英语） Zbl 1309.68047号 学报信息。 52，编号2-3，235-268（2015）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{A.Knapp}，《学报》第52期，第2--3235-268号（2015年；Zbl 1309.68047） 全文： 内政部 链接
塞巴斯蒂安·鲍尔。；罗尔夫·亨尼克；马丁·威尔辛 并发和数据的接口理论。 （英语） Zbl 1216.68187号 西奥。计算。科学。 412，第28号，3101-3121（2011）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人，Theor。计算。科学。412，第28号，3101--3121（2011；Zbl 1216.68187） 全文： 内政部
卢卡·埃特罗；拉鲁西尼，弗朗索瓦 你的模型检查器准时吗？时间模态逻辑模型检验的复杂性。 （英语） Zbl 1008.68030号 J.日志。阿尔盖布。程序。 52-53, 7-51 (2002).MSC公司：68N17号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{F.Laroussinie}，J.Log。阿尔盖布。程序。52-53，7-51（2002年；兹bl 1008.68030） 全文： 内政部
Larsen，Kim G。；保罗·佩特森；易、王 实时系统的模型检查。 （英语） Zbl 1507.68193号 Reichel，Horst（编辑），《计算理论基础》。1995年8月22日至25日，第十届国际会议，FCT’95，德国德累斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。965, 62-88 (1995).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛K.G.Larsen｝等人，Lect。票据计算。科学。965、62-88（1995年；Zbl 1507.68193） 全文： 内政部 哈尔
安徒生，约根·H·。；Kristoffersen，Káre J。；Larsen，Kim G。；杰斯珀·尼德曼 实时系统的自动合成。 （英语） Zbl 1412.68136号 Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，匈牙利塞格德，第22届国际学术讨论会，ICALP’95。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。944, 535-546 (1995).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Andersen}等人，Lect。票据计算。科学。944535-546（1995年；Zbl 1412.68136） 全文： 内政部
金·古德斯特兰·拉森 隐式规范的表达能力。 （英语） 兹比尔0779.68059 西奥。计算。科学。 114，第1期，119-147（1993）. 审核人：K.G.拉森 MSC公司：60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}，Theor。计算。科学。114，第1号，119--147（1993；Zbl 0779.68059） 全文： 内政部
杰拉德·布多尔；Larsen，Kim G。 图形规范与逻辑规范。 （英语） Zbl 0776.68084号 西奥。计算。科学。 106，编号1，3-20（1992）.MSC公司：60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}和\textit{K.G.Larsen}，Theor。计算。科学。106，第1号，第3--20号（1992；Zbl 0776.68084） 全文： 内政部