塔马斯·托特;伊斯坦·马齐克 离散变量时间自动机的可配置验证。 (英语) 兹比尔1483.68208 学报信息。 59,第1期,1-35页(2022年).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Tóth}和\textit{I.Majzik},《学报》第59卷第1期,第1--35页(2022年;Zbl 1483.68208) 全文: 内政部
雷娜·迪米特洛娃;马哈萨·加西米;乌富克托普库 线性时序逻辑规范的最大可实现性的反应合成。 (英语) Zbl 1435.68193号 学报信息。 57,编号1-2,107-135(2020).MSC公司:60年第68季度 03B44号 65年第68季度 68兰特 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}等人,《学报》第57期,第1--2107-135号(2020年;Zbl 1435.68193) 全文: 内政部 arXiv公司 链接
迈克尔·卢滕伯格;菲利普·梅耶(Philipp J.Meyer)。;所罗门·西克特 通过奇偶博弈从LTL规范实际合成反应系统。 (英语) Zbl 1435.68200号 学报信息。 57,编号1-2,3-36(2020).MSC公司:60年第68季度 03B44号 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Luttenberger}等人,《信息学报》57,第1--2、3--36期(2020年;Zbl 1435.68200) 全文: 内政部 arXiv公司
瑞秋·法拉;奥尔纳·库普弗曼 跨越从安全到活跃的范围。 (英语) 兹比尔1408.68096 学报信息。 55,第8号,703-732(2018).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Faran}和\textit{O.Kupferman},《学报》第55期,第8期,第703--732页(2018年;Zbl 1408.68096) 全文: 内政部
瑟伦·德博伊斯;托马斯·希尔德布兰特。;斯莱亚特,蒂杰斯 复制、细化和可达性:动态条件响应图的复杂性。 (英语) Zbl 1398.68094号 学报信息。 55,第6号,489-520(2018).MSC公司:68号30 第68季度25 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Debois}等人,Acta Inf.55,第6期,489-520(2018;兹bl 1398.68094) 全文: 内政部
票价,Elie;Jean-Paul Bodeveix公司;马蒙·菲拉利 用于将系统组合应用程序转换为时间自动机的事件代数。 (英语) Zbl 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) 全文: 内政部 链接
雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 序列平行图上可逆有界自动机的可达性分析。 (英语) Zbl 1390.68385号 学报信息。 55,第2号,153-189(2018).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}和\textit{R.Majumdar},《学报》第55期,第2期,第153--189页(2018年;Zbl 1390.68385) 全文: 内政部 arXiv公司
哈维尔·埃斯帕尔扎(编辑);恩里科·特隆西(编辑) 《甘道夫2015》特刊前言。 (英语) Zbl 1384.00106号 学报信息。 55,No.2,89-90(2018).MSC公司:00B25型 68-06 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}(编辑)和\textit{E.Tronci}(主编),《学报》第55期,第2期,第89-90页(2018年;Zbl 1384.00106) 全文: 内政部
皮耶保罗·德加诺;吉安·路易吉,法拉利;吉安卢卡·梅泽蒂 常规和无上下文的标称迹线。 (英语) Zbl 1376.68087号 学报信息。 54,第4号,399-433(2017). 审核人:弗朗西斯科·多尔斯(蒙特勒) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人,《信息学报》54,第4期,399--433(2017年;Zbl 1376.68087) 全文: 内政部
穆罕默德·马赫迪·贾古奥里;法兰克·德波尔;Delphine Longuet;汤姆,乔西娅;马尔詹·西尔贾尼 实时actor-based系统的组合可调度性分析。 (英语) Zbl 1371.68045号 学报信息。 54,第4期,343-378(2017).MSC公司:68平方米 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Jaghoori}等人,《信息学报》54,第4期,343--378(2017年;Zbl 1371.68045) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 通过扩展森林自动机验证具有有序数据的堆操作程序。 (英语) 兹伯利1344.68136 学报信息。 53,第4期,357-385(2016).MSC公司:60年第68季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Acta Inf.53,No.4,357--385(2016;Zbl 1344.68136) 全文: 内政部 链接
希拉·佩勒;沙龙·肖姆;埃兰·雅哈夫;杨红seok 表示大代码的符号自动机。 (英语) Zbl 1344.68128号 学报信息。 53,第4号,327-356(2016).MSC公司:65年第68季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Peleg}等人,《学报》第53期,第4期,第327--356页(2016年;Zbl 1344.68128) 全文: 内政部 链接
最好的,艾克;雷蒙德·魔鬼队 T系统的状态空间公理。 (英语) Zbl 1317.68129号 学报信息。 52,编号2-3,133-152(2015). 审核人:约格·德塞尔(哈根) MSC公司:第68季度85 2010年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{R.Devillers},《学报》第52期,第2--3133-152号(2015;Zbl 1317.68129) 全文: 内政部
彼得·布利切夫;大卫,亚历山大;Larsen,Kim G。;李广元 \(\mathrm)片段的高效控制器合成{MTL}_{0,\infty}\)。 (英语) Zbl 1360.68578号 学报信息。 51,第3-4号,165-192(2014).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人,《信息学报》第51期,第3-4165-192号(2014年;Zbl 1360.68578) 全文: 内政部
克里斯蒂安·达克斯;费利克斯·克莱特克;马丁·兰格 关于常规时间逻辑与过去。 (英语) 兹比尔1214.68211 学报信息。 47,第4期,251-277(2010).MSC公司:60年第68季度 03B44号 05年3月 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dax}等人,《学报》第47期,第4期,第251--277页(2010年;Zbl 1214.68211) 全文: 内政部 链接
彼得·哈贝梅尔;拉杜·奥西夫;汤姆·沃纳 使用树更新自动验证程序。 (英语) Zbl 1185.68414号 学报信息。 47,第1期,1-31页(2010年).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Habermehl}等人,《信息学报》第47卷第1期,1--31页(2010年;Zbl 1185.68414) 全文: 内政部 哈尔
亚历克斯·A·阿拉文。;维姆·赫塞林克。 基于队列的互斥算法。 (英语) Zbl 1172.68041号 学报信息。 46,第1期,73-86(2009).MSC公司:第68季度85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Aravind}和\textit{W.H.Hesselink},《学报》第46期,第1期,第73-86页(2009年;Zbl 1172.68041) 全文: 内政部 链接
林慧敏;易、王 公理化时间自动机。 (英语) Zbl 1025.68057号 学报信息。 38,第4期,277-305(2002).MSC公司:第68季度85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin}和\textit{W.Yi},《学报》第38卷第4期,277--305页(2002年;Zbl 1025.68057) 全文: 内政部
萨尔瓦多拉托雷;那不勒斯,玛格丽塔 带有时态逻辑应用程序的时间树自动机。 (英语) Zbl 1033.68065号 学报信息。 38,第2号,89-116(2001).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}和\textit{M.Napoli},《学报》第38期,第2期,第89-116页(2001年;Zbl 1033.68065) 全文: 内政部
C.B.琼斯。;加利福尼亚州米德尔堡。 部分函数的类型化逻辑被经典地重构。 (英语) Zbl 0804.03018号 学报信息。 31,第5号,399-430(1994). 审核人:C.B.Jones(曼彻斯特) MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}和\textit{C.A.Middelburg},《学报信息》31,第5期,399--430(1994;Zbl 0804.03018) 全文: 内政部
唐纳德·桑内拉;斯特凡·索科·奥斯基;安德烈·塔莱基 从代数规范走向程序的正式开发:重新审视参数化。 (英语) Zbl 0790.68077号 学报信息。 29,第8期,689-736(1992). 审核人:D.Sannella(爱丁堡) MSC公司:60年第68季度 68号01 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}等人,《学报》第29期,第8期,第689--736页(1992年;Zbl 0790.68077) 全文: 内政部
彼得·利普斯;乌尔里奇·莫恩克;马提亚斯·奥尔克;莱因哈德·威廉 OPTRAN中的属性(重新)评估。 (英语) Zbl 0662.68082号 学报信息。 26,第3期,213-239(1988).MSC公司:68N20型 68第05页 60年第68季度 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Lipps}et al.,Acta Inf.26,No.3,213--239(1988;Zbl 0662.68082) 全文: 内政部
约斯特·恩格尔弗里特;福格勒、海科 高级树传感器和迭代下推树传感器。 (英语) Zbl 0633.68073号 学报信息。 26,No.1-2,131-192(1988). 审核人:H.福格勒 MSC公司:65年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{H.Vogler},《学报》第26期,第1--2131-192号(1988;Zbl 0633.68073) 全文: 内政部
亨克·阿尔布拉斯 属性化程序树的一次性转换。 (英语) Zbl 0598.68013号 学报信息。 24, 299-352 (1987).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Alblas},《信息学报》24,299--352(1987;Zbl 0598.68013) 全文: 内政部
雅各布·贡扎罗夫斯基 带有深度参数的一元递归模式的可决定属性。 (英语) Zbl 0564.68057号 学报信息。 22, 277-310 (1985).MSC公司:65年第68季度 60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gonczarowski},《学报参考》22,277--310(1985;Zbl 0564.68057) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog) 基于复制规则的健全完整的Hoare-like计算。 (英语) Zbl 0464.68037号 学报信息。 16, 161-197 (1981).MSC公司:68问题65 68号01 60年第68季度 03B60 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog},Acta Inf.161--197(1981年;Zbl 0464.68037) 全文: 内政部
亨克·阿尔布拉斯 过程中属性求值的特征。 (英语) Zbl 0454.68088号 学报信息。 16, 427-464 (1981).MSC公司:65年第68季度 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Alblas},《信息学报》16,427--464(1981;Zbl 0454.68088) 全文: 内政部
莱因哈德·威廉 优化编译器中数据流信息的计算和使用。 (英语) Zbl 0413.68014号 学报信息。 12, 209-225 (1979).MSC公司:60年第68季度 65年第68季度 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Wilhelm},《信息学报》12,209--225(1979;Zbl 0413.68014) 全文: 内政部
范·兰斯维德(Axel van Lamsweerde);米歇尔·辛佐夫 强正确并发程序的形式化推导。 (英语) Zbl 0389.68012号 学报信息。 12,1-31(1979年).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.van Lamsweerde}和\textit{M.Sintzoff},《学报》第12期,第1-31期(1979年;Zbl 0389.68012) 全文: 内政部