劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 未来和最小语义下密集时间内基于时间的规划的复杂性问题。 (英语) Zbl 07458778号 西奥。计算。科学。 901,87-113(2022).MSC公司:68T20型 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。901、87-113(2022;Zbl 07458778) 全文: 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;格哈德·沃金格 密集时间域上基于时间的规划。 (英语) 兹比尔1433.68406 西奥。计算。科学。 813, 305-326 (2020).MSC公司:68T20型 03B44号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。813305--326(2020年;Zbl 1433.68406) 全文: 内政部
卢卡·斯帕拉齐;弗朗西斯科·斯佩尼 带布尔保护的时间自动机网络的参数化模型检查。 (英语) Zbl 1433.68219号 西奥。计算。科学。 813, 248-269 (2020).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Spalazzi}和\textit{F.Spegni},Theor。计算。科学。813248-269(2020年;Zbl 1433.68219) 全文: 内政部
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 关于时间形式中时钟的初始化。 (英语) Zbl 1433.03048号 西奥。计算。科学。 813, 175-198 (2020).MSC公司:03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,Theor。计算。科学。813175-198(2020年;Zbl 1433.03048) 全文: 内政部 链接
马特奥·扎瓦特里;卢卡·维甘诺 具有不确定性和决策的条件简单时间网络。 (英语) Zbl 1434.68552号 西奥。计算。科学。 797, 77-101 (2019).MSC公司:68T20型 65年第68季度 93个B03 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}和\textit{L.Vigan“},Theor。计算。科学。797,77-101(2019年;Zbl 1434.68552) 全文: 内政部 链接
梅克·施瓦姆伯格 证明自治城市交通安全的抽象模型。 (英语) Zbl 1400.68126号 西奥。计算。科学。 744, 143-169 (2018).MSC公司:60年第68季度 03B70号 65年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Schwammberger},Theor。计算。科学。744143-169(2018;Zbl 1400.68126) 全文: 内政部
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 (英语) Zbl 1393.68096号 西奥。计算。科学。 735, 64-81 (2018).MSC公司:65年第68季度 60年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}和\textit{M.Kwiatkowska},Theor。计算。科学。735,64-81(2018;Zbl 1393.68096) 全文: 内政部
克里斯蒂安·瓦西莱;德里亚·阿克莎莱;卡林·贝尔塔 时间窗口时序逻辑。 (英语) Zbl 1372.68178号 西奥。计算。科学。 691, 27-54 (2017).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{C.-I.Vasile}等人,Theor。计算。科学。691,27-54(2017年;兹比尔1372.68178) 全文: 内政部 arXiv公司
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;佩拉斯、昆廷 概率时间自动机的符号最优期望时间可达性计算和控制器综合。 (英语) Zbl 1359.68171号 西奥。计算。科学。 669, 1-21 (2017).MSC公司:65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}等人,Theor。计算。科学。669,1--21(2017;Zbl 1359.68171) 全文: 内政部 链接
奥马尔·巴塔内赫;雷诺兹,马克;法语,蒂姆 求具有循环行为的时间自动机模型的最小和最大终止时间。 (英语) Zbl 1357.68109号 西奥。计算。科学。 665, 87-104 (2017).MSC公司:60年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Al-Bataineh}等人,Theor。计算。科学。665,87-104(2017;Zbl 1357.68109) 全文: 内政部 arXiv公司 链接
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 定时正则语言的逻辑特征。 (英语) Zbl 1355.68150号 西奥。计算。科学。 658,A部分,46-59(2017).MSC公司:65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,Theor。计算。科学。658,A部分,46-59(2017;Zbl 1355.68150) 全文: 内政部
Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 预期可达性时间游戏。 (英语) 兹比尔1339.68146 西奥。计算。科学。 631, 139-160 (2016).MSC公司:65年第68季度 2010年第68季度 65年第68季度 91A80 PDF格式BibTeX公司 XML格式引用 \textit{V.Forejt}等人,Theor。计算。科学。63113-160(2016年;Zbl 1339.68146) 全文: 内政部 arXiv公司
马西莫·贝内雷塞蒂;阿德里亚诺·佩隆 时间递归状态机:表达性和复杂性。 (英语) Zbl 1338.68070号 西奥。计算。科学。 625, 85-124 (2016).MSC公司:2005年第68季度 2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}和\textit{A.Peron},Theor。计算。科学。625、85-124(2016年;Zbl 1338.68070) 全文: 内政部
阿曼,博格丹;加布里埃尔·乔巴努 加权峰值神经系统的建模和验证。 (英语) Zbl 1336.68064号 西奥。计算。科学。 623,92-102(2016).MSC公司:2005年第68季度 2010年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},Theor。计算。科学。623、92——102(2016年;Zbl 1336.68064) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉维索 adhoc网络协议的时间敏感模型的参数化验证。 (英语) Zbl 1332.68137号 西奥。计算。科学。 612, 1-22 (2016).MSC公司:60年第68季度 68个M12 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Theor。计算。科学。612,1--22(2016;Zbl 1332.68137) 全文: 内政部
阿克西,S。;保罗·加斯丁;马达瓦恩·穆昆德;K.Narayan Kumar 检查基于时间约束的场景规范的一致性。 (英语) Zbl 1328.68124号 西奥。计算。科学。 594, 24-43 (2015).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,Theor。计算。科学。594,24-43(2015;Zbl 1328.68124) 全文: 内政部
巴巴拉·迪·詹保罗;萨尔瓦多拉托雷;那不勒斯,玛格丽塔 参数度量时间间隔逻辑。 (英语) Zbl 1317.68112号 西奥。计算。科学。 564, 131-148 (2015).MSC公司:60年第68季度 03B25号 03B44号 05年3月 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Di Giampaolo}等人,Theor。计算。科学。564131-148(2015;Zbl 1317.68112) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 时间自动机和游戏中的鲁棒可达性:基于游戏的方法。 (英语) Zbl 1302.68153号 西奥。计算。科学。 563, 43-74 (2015).MSC公司:65年第68季度 60年第68季度 91A80 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Theor。计算。科学。563、43——74(2015;Zbl 1302.68153) 全文: 内政部
约阿金·比格;莫滕·雅各布森;拉塞·雅各布森;约根森、肯尼思·伊尔克;米凯尔·哈克杰·默勒;吉·斯尔巴 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) 全文: 内政部
Larsen,Kim G。;Legay、Axel;路易斯·玛丽·特劳努埃兹;安德烈·索夫斯基 实时系统的鲁棒综合。 (英语) 兹比尔1311.68088 西奥。计算。科学。 515, 96-122 (2014).MSC公司:60年第68季度 65年第68季度 91A80 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Theor。计算。科学。515、96-122(2014年;Zbl 1311.68088) 全文: 内政部 哈尔
马可·费拉;萨尔瓦多拉托雷;阿尼埃洛·穆拉诺 时间博弈的自动机理论决策。 (英语) Zbl 1301.68177号 西奥。计算。科学。 515, 46-63 (2014). 审核人:维克托·舒潘(法国) MSC公司:60年第68季度 91A05型 91年43月 65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Faella}等人,Theor。计算。科学。515、46-63(2014年;Zbl 1301.68177) 全文: 内政部
贝拉德,B。;卡塞兹,F。;哈达德,S。;石灰,D。;O.H.罗克斯。 时间Petri网的表达能力。 (英语) Zbl 1259.68141号 西奥。计算。科学。 474, 1-20 (2013).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人,Theor。计算。科学。474,1--20(2013;Zbl 1259.68141) 全文: 内政部
王法恩 基于时间凸性分析的稠密时间系统的高效模型检验。 (英语) Zbl 1279.68222号 西奥。计算。科学。 467, 89-108 (2013).MSC公司:60年第68季度 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{F.Wang},Theor。计算。科学。467,89-108(2013年;兹bl 1279.68222) 全文: 内政部
哈桑·莫塔列比;穆罕默德·阿卜杜拉希·阿兹戈米 使用多奇异混合Petri网对混合动态系统进行建模和验证。 (英语) Zbl 1262.68139号 西奥。计算。科学。 446, 48-74 (2012).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Motallebi}和\textit{M.A.Azgomi},Theor。计算。科学。446、48--74(2012;Zbl 1262.68139) 全文: 内政部
法拉纳克·海达尔;朱利安·施马耳茨;Vaandrager,Frits公司 无线传感器网络时钟同步协议分析。 (英语) Zbl 1307.68009号 西奥。计算。科学。 413,第1期,87-105(2012).MSC公司:64岁以下 68M10个 68个M12 65年第68季度 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Heidarian}等人,Theor。计算。科学。413,编号1,87-105(2012年;兹bl 1307.68009) 全文: 内政部
劳拉·博泽利;Legay、Axel;苏菲·平奇纳特 基本形式的预订单检查硬度。 (英语) Zbl 1227.68072号 西奥。计算。科学。 412,第49号,6795-6808(2011).MSC公司:60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。412,第49号,6795--6808(2011;Zbl 1227.68072) 全文: 内政部
曼弗雷德·德罗斯特;卡琳·夸斯 加权时间自动机的Kleene-Schützenberger定理。 (英语) Zbl 1217.68128号 西奥。计算。科学。 412,编号12-14,1140-1153(2011).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{K.Quaas},Theor。计算。科学。412,编号12--141140--1153(2011;Zbl 1217.68128) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 概率时间自动机的弱互模拟。 (英语) Zbl 1208.68160号 西奥。计算。科学。 411,第50号,4291-4322(2010).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Theor。计算。科学。411,第50号,4291--4322(2010;Zbl 1208.68160) 全文: 内政部
奥尔加·格林斯坦;本特·琼森;马丁·勒克 事件记录自动机的学习。 (英语) Zbl 1205.68201号 西奥。计算。科学。 411,第47号,4029-4054(2010).MSC公司:65年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{O.Grinchtein}等人,Theor。计算。科学。411,第47号,4029--4054(2010;Zbl 1205.68201) 全文: 内政部
埃齐奥·巴托西;弗拉维奥·科拉迪尼;埃马努埃拉·梅雷利;卢卡·特塞 通过模型检验检测生物振荡器的同步性。 (英语) Zbl 1209.68311号 西奥。计算。科学。 411,第20号,1999-2018(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人,Theor。计算。科学。4111999-2018年第20号(2010年;Zbl 1209.68311) 全文: 内政部
萨德克·本萨勒姆;多龙·贝利德;曲洪阳;斯塔夫罗斯·特里帕基斯 并发定时系统路径条件的自动生成。 (英语) Zbl 1293.68201号 西奥。计算。科学。 404,第3号,275-292(2008).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bensalem}等人,Theor。计算。科学。404,第3号,275--292(2008;Zbl 1293.68201) 全文: 内政部
贝拉德,B。;卡塞兹,F。;哈达德,S。;石灰,D。;O.H.罗克斯。 时间自动机何时弱时间与时间Petri网相似? (英语) Zbl 1158.68029号 西奥。计算。科学。 403,编号2-3,202-220(2008).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人,Theor。计算。科学。403,编号2--3,202-220(2008;Zbl 1158.68029) 全文: 内政部
海克·西伯特;亚历山大·博克迈尔 监管网络逻辑分析中的时间约束。 (英语) Zbl 1133.68041号 西奥。计算。科学。 391,第3期,258-275(2008).MSC公司:65年第68季度 92D10型 PDF格式BibTeX公司 XML格式引用 \textit{H.Siebert}和\textit{A.Bockmayr},Theor。计算。科学。391,第3号,258--275(2008;Zbl 1133.68041) 全文: 内政部
拉鲁西尼,F。;马基,N。;Schnoebelen博士。 离散时间系统的有效定时模型检验。 (英语) Zbl 1088.68107号 西奥。计算。科学。 353,编号1-3,249-271(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}等人,Theor。计算。科学。353,编号:1-3249-271(2006年;兹bl 1088.68107) 全文: 内政部 哈尔
埃琳娜·费斯曼;列奥尼德·莫克鲁辛;保罗·佩特森;易、王 基于时间自动机的固定优先级系统可调度性分析。 (英语) Zbl 1088.68087号 西奥。计算。科学。 354,第2期,301-317(2006).MSC公司:65年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.Fersman}等人,Theor。计算。科学。354,第2号,301--317(2006;Zbl 1088.68087) 全文: 内政部
亚斯米娜·阿卜杜达伊姆;尤金·亚萨林;马勒,奥德 时间自动机调度。 (英语) Zbl 1088.68023号 西奥。计算。科学。 354,第2期,272-300(2006).MSC公司:68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Abdeddaïm}等人,Theor。计算。科学。354,第2号,272--300(2006;Zbl 1088.68023) 全文: 内政部
D.卢吉兹。;P.尼伯特。;塞诺,S。 时间自动机时钟爆炸问题的部分序语义方法。 (英语) Zbl 1079.68052号 西奥。计算。科学。 345,第1号,27-59(2005).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lugiez}等人,Theor。计算。科学。345,编号1,27-59(2005;Zbl 1079.68052) 全文: 内政部
谢高燕;李,程;当、哲 线性不定方程组的线性可达性问题和最小解。 (英语) Zbl 1071.68055号 西奥。计算。科学。 328,编号1-2,203-219(2004).MSC公司:65年第68季度 2004年11月 11年50 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Xie}等人,Theor。计算。科学。328,编号1--2,203-219(2004;Zbl 1071.68055) 全文: 内政部
拉杰夫·阿鲁尔;萨尔瓦多拉托雷;乔治·帕帕斯。 加权时间自动机中的最优路径。 (英语) Zbl 1068.68080号 西奥。计算。科学。 318,第3期,297-322(2004).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Theor。计算。科学。318,第3号,297--322(2004;Zbl 1068.68080) 全文: 内政部
当、哲;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。;理查德·凯默勒(Richard A.Kemmer)。 过去的下推定时自动机和安全验证。 (英语) Zbl 1069.68065号 西奥。计算。科学。 313,第1期,57-71(2004).MSC公司:65年第68季度 60年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人,Theor。计算。科学。313,第1号,57--71(2004;Zbl 1069.68065) 全文: 内政部
马特乌斯,P。;马里。;努斯,C。;A.帕切科。;塞尔纳达斯,A。;塞尔纳达斯,C。 随机时间自动机的分类基础。 (英语) Zbl 1070.68076号 西奥。计算。科学。 308,编号1-3,393-427(2003).MSC公司:65年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Mateus}等人,Theor。计算。科学。308,编号1--3,393--427(2003;Zbl 1070.68076) 全文: 内政部
当、哲 下推时间自动机:二进制可达性特征和安全验证。 (英语) Zbl 1044.68085号 西奥。计算。科学。 302,编号1-3,93-121(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{Z.Dang},Theor。计算。科学。302,编号1--3,93-121(2003;Zbl 1044.68085) 全文: 内政部
奥斯卡·H·伊巴拉。;当、哲;圣彼得罗,皮耶路易吉 松散同步队列连接离散时间自动机的验证。 (英语) Zbl 1044.68096号 西奥。计算。科学。 290,第3期,1713-1735(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,Theor。计算。科学。290,第3号,1713-1735(2003;Zbl 1044.68096) 全文: 内政部
萨尔瓦多拉托雷;那不勒斯,玛格丽塔 定时树上的有限自动机。 (英语) Zbl 1032.68095号 西奥。计算。科学。 293,第3期,479-505(2003). 审核人:克里斯蒂安·卡卢德(奥克兰) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}和\textit{M.Napoli},Theor。计算。科学。293,第3号,479--505(2003;Zbl 1032.68095) 全文: 内政部
奥斯卡·H·伊巴拉。;当、哲 消除可达性结构中的存储磁带。 (英语) Zbl 1042.68065号 西奥。计算。科学。 299,编号1-3,687-706(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{Z.Dang},Theor。计算。科学。299,编号1--3,687--706(2003;Zbl 1042.68065) 全文: 内政部
当、哲;圣彼得罗,皮耶路易吉;理查德·凯默勒(Richard A.Kemmer)。 离散时间自动机的Presburger活性验证。 (英语) Zbl 1040.68050号 西奥。计算。科学。 299,编号1-3,413-438(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人,Theor。计算。科学。299,编号1-3413-438(2003年;兹bl 1040.68050) 全文: 内政部
帕德马纳巴恩·克里希南 定时系统中调度器子类的自动合成。 (英语) Zbl 1038.68009号 西奥。计算。科学。 298,第2期,347-363(2003).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \提奥,textit{P.Krishnan}。计算。科学。298,第2号,347--363(2003;Zbl 1038.68009) 全文: 内政部
丹尼尔·博基尔 关于概率时间自动机。 (英语) Zbl 1064.68063号 西奥。计算。科学。 292,第1期,65-84(2003).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.Beauquier},Theor。计算。科学。292,第1号,65--84(2003;Zbl 1064.68063) 全文: 内政部
丹尼尔·博基尔;阿纳托利斯利森科 一阶逻辑中指定的可约时间自动机随时间的可判定验证。 (英语) Zbl 1026.68079号 西奥。计算。科学。 275,第1-2期,347-388(2002).MSC公司:65年第68季度 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Beauquier}和\textit{A.Slissenko},Theor。计算。科学。275,编号1--2,347--388(2002;Zbl 1026.68079) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;罗伯托·塞加拉;杰里米·斯普洛斯顿 具有离散概率分布的实时系统的自动验证。 (英语) Zbl 1050.68094号 西奥。计算。科学。 282,第1期,101-150(2002).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Theor。计算。科学。282,第1号,101--150(2002;Zbl 1050.68094) 全文: 内政部
L’Her,D。;帕尔克,P.L。;马凯,L。 使用时间自动机证明顺序功能图程序。 (英语) Zbl 0984.68101号 西奥。计算。科学。 267,编号1-2,141-155(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.L'Her}等人,Theor。计算。科学。267,编号1--2,141-155(2001;Zbl 0984.68101) 全文: 内政部
斯普林因特维尔德,J。;Vaandrager,F。;达格尼奥,P.R。 测试时间自动机。 (英语) 兹伯利0972.68104 西奥。计算。科学。 254,编号1-2225-257(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Springintveld}等人,Theor。计算。科学。254,编号1--2,225-257(2001;Zbl 0972.68104) 全文: 内政部
拉杰夫·阿鲁尔;菲克斯,利莫;托马斯·亨辛格(Thomas A.Henzinger)。 事件锁自动机:时间自动机的一个可确定类。 (英语) Zbl 0912.68132号 西奥。计算。科学。 211,编号1-2,253-273(1999).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Theor。计算。科学。211,编号1--2,253--273(1999;Zbl 0912.68132) 全文: 内政部
罗马克里希纳,Y.S。;梅利亚·史密斯,P.M。;莫瑟,L.E。;狄龙,L.K。;G.库蒂。 区间逻辑及其决策过程。二: 实时间隔逻辑。 (英语) Zbl 0874.03032号 西奥。计算。科学。 170,第1-2、1-46号(1996年).MSC公司:03B80号 2010年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{Y.S.Ramakrishna}等人,Theor。计算。科学。170,编号1--2,1--46(1996;Zbl 0874.03032) 全文: 内政部
加文·洛 定时CSP的概率和优先级模型。 (英语) Zbl 0874.68163号 西奥。计算。科学。 138,编号2,315-352(1995).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{G.Lowe},Theor。计算。科学。138,第2号,315--352(1995;Zbl 0874.68163) 全文: 内政部
吉姆·戴维斯;史蒂夫·施耐德 定时CSP的简要历史。 (英语) Zbl 0874.68162号 西奥。计算。科学。 138,第2期,243-271(1995).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Davies}和\textit{S.Schneider},Theor。计算。科学。138,No.2,243--271(1995;Zbl 0874.68162) 全文: 内政部
拉杰夫·阿鲁尔;大卫·L·迪尔。 时间自动机理论。 (英语) Zbl 0803.68071号 西奥。计算。科学。 126,第2期,183-235(1994).MSC公司:65年第68季度 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.L.Dill},Theor。计算。科学。126,第2号,183--235(1994;Zbl 0803.68071) 全文: 内政部