彼得·丰塔纳;兰斯·克莱维兰 一群定时自动机。 (英语) Zbl 1305.68113号 ACM计算。Surv公司。 46,第3号,第40条,56页(2014年);更正同上,第50号,第3条,第42条,第8p条。(2017).MSC公司:65年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{P.Fontana}和\textit{R.Cleaveland},ACM计算。Surv公司。46,第3号,第40条,56页(2014;Zbl 1305.68113) 全文: 内政部
约阿金·比格;雅各布森,莫顿;雅各布森,拉塞;约根森、肯尼思·伊尔克;米凯尔·哈克杰·默勒;吉·斯尔巴 TCTL保留了从定时弧Petri网到定时自动机网络的转换。 (英语) 兹比尔1359.68216 西奥。计算。科学。 537, 3-28 (2014).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Byg}等人,Theor。计算。科学。537,3--28(2014;Zbl 1359.68216) 全文: 内政部
Waez,Md Tawhid Bin;朱尔根·丁格尔;鲁迪、凯伦 实时系统开发中的时间自动机综述。 (英语) Zbl 1302.68180号 计算。科学。版次。 9, 1-26 (2013).MSC公司:65年第68季度 68问题55 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.T.B.Waez}等人,计算。科学。第9版,1-26(2013;Zbl 1302.68180) 全文: 内政部
蒂莫·奥马尔·兰德里·恩格纳;皮埃尔·阿莱·雷尼尔 事件记录自动机的特征公式。 (英语) Zbl 1396.03029号 西奥·雷罗。通知。申请。 47,第1期,69-96(2013). 审核人:马丁·兰格(卡塞尔) MSC公司:03B44号 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{O.L.N.Timo}和\textit{P.-A.Reynier},RAIRO,Theor。通知。申请。47,第1号,69--96(2013;Zbl 1396.03029) 全文: 内政部 哈尔
帕特里夏·鲍耶;弗兰克·卡塞兹;弗朗索瓦·拉鲁西尼 实时系统的定时模态逻辑。规范、验证和控制。 (英语) Zbl 1216.68158号 J.逻辑语言信息。 第2期第20期,第169-203页(2011年).MSC公司:60年第68季度 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,J.Logic Lang.Inf.20,No.2,169--203(2011;Zbl 1216.68158) 全文: 内政部
贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 时间自动机和时间Petri网表达能力的比较。 (英语) Zbl 1175.68270号 Pettersson,Paul(编辑)等,时间系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829211-225(2005)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,Lect。注释计算。科学。3829211-225(2005年;Zbl 1175.68270) 全文: 内政部
卢卡·埃特罗;弗朗索瓦·拉鲁西尼 你的模型检验员准时吗?时间模态逻辑模型检验的复杂性。 (英语) 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年;Zbl 1008.68030) 全文: 内政部