贝拉德,贝特里奇;谢尔盖,哈达德 多项式中断时间自动机的可达性研究。 (英语) Zbl 1483.68157号 信息处理。莱特。 174,文章ID 106208,6 p.(2022); 更正同上175,文章ID 106231,1 p.(2022)。MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}和\textit{S.Haddad},Inf.过程。莱特。174,文章ID 106208,6 p.(2022;Zbl 1483.68157) 全文: 内政部
埃蒂安·安德烈;林尚伟 参数事件记录自动机的语言保存问题是不可判定的。 (英语) Zbl 1457.68137号 信息处理。莱特。 136, 17-20 (2018).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}和\textit{S.-W.林},《信息处理》。莱特。136、17-20(2018;Zbl 1457.68137) 全文: 内政部 arXiv公司
阿克西,S。;布莱斯·基内斯特;洛伊奇,Hélouët;杨绍发 时间约束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) 全文: 内政部 哈尔
拉鲁西尼,弗朗索瓦;杰里米·斯普洛斯顿 状态爆炸几乎是概率可达的。 (英语) Zbl 1184.68318号 信息处理。莱特。 102,第6号,236-241(2007).MSC公司:65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{J.Sproston},Inf.过程。莱特。102,No.6,236--241(2007;Zbl 1184.68318) 全文: 内政部
劳伦特·多恩 时间自动机的鲁棒参数可达性。 (英语) Zbl 1184.68337号 信息处理。莱特。 102,第5号,208-213(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen},Inf.流程。莱特。102,第5号,208--213(2007;Zbl 1184.68337) 全文: 内政部
斯塔夫罗斯·特里帕基斯 关于时间自动机的确定和最小化的福克定理。 (英语) Zbl 1185.68401号 信息处理。莱特。 99,第6期,222-226(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Tripakis},Inf.过程。莱特。99,第6号,222--226(2006;Zbl 1185.68401) 全文: 内政部
帕特里夏·鲍耶;托马斯·布里海耶;尼古拉斯·马基 改进了加权时间自动机的不可判定性结果。 (英语) Zbl 1187.68291号 信息处理。莱特。 98,第5期,188-194(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《信息处理》。莱特。98,第5号,188--194(2006;Zbl 1187.68291) 全文: 内政部 哈尔
赵建华;李宣东;郑国良 一种基于二次DBM的时间自动机检测后继算法。 (英语) Zbl 1184.68335号 信息处理。莱特。 96,第3期,101-105(2005).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhao}等人,《信息处理》。莱特。96,第3号,101--105(2005;Zbl 1184.68335) 全文: 内政部
杰罗姆·杜兰·洛斯 可分割信号的Kleene定理。 (英语) Zbl 1178.68311号 信息处理。莱特。 89,第5期,237-245(2004).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Durand Lose},Inf.流程。莱特。89,第5号,237--245(2004;Zbl 1178.68311) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 \(varepsilon)-并发时间自动机中的转换。 (英语) Zbl 1178.68321号 信息处理。莱特。 89,第1期,1-7期(2004年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,《Inf.过程》。莱特。89,编号1,1--7(2004;Zbl 1178.68321) 全文: 内政部
阿纳尔多·莫拉。;Guilherme A.平托。 关于概率实时系统自动机规范验证的一个注记。 (英语) Zbl 1338.68169号 信息处理。莱特。 82,第5期,223-228(2002).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Moura}和\textit{G.A.Pinto},Inf.过程。莱特。82,第5号,223--228(2002;Zbl 1338.68169) 全文: 内政部 链接
贝拉德,贝特里奇;凯瑟琳·杜福尔德 定时自动机和附加时钟约束。 (英语) Zbl 0953.68565号 信息处理。莱特。 75,第1-2、1-7号(2000年).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}和\textit{C.Dufourd},Inf.过程。莱特。75,编号1--2,1--7(2000;Zbl 0953.68565) 全文: 内政部
菲利普·赫尔曼 时间自动机和可识别性。 (英语) Zbl 0925.68275号 信息处理。莱特。 65,第6313-318号(1998年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Herrmann},Inf.流程。莱特。65,No.6,313--318(1998;Zbl 0925.68275) 全文: 内政部