伊万·拉内斯;多里亚娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳 CCS中的静态与动态可逆性。 (英语) Zbl 1475.68126号 学报信息。 58,编号1-2,1-34(2021). 审核人:克莱门特·奥伯特(奥古斯塔) MSC公司:2009年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人,《信息学报》58,第1--2、1-34期(2021年;Zbl 1475.68126) 全文: 内政部 链接
秦旭东;西蒙·布利兹;艾瑞克·马德琳;侯泽晨;邓玉欣;张敏 基于SMT的符号自动机生成。 (英语) Zbl 1443.68114号 学报信息。 57,编号3-5,627-656(2020).MSC公司:68问题85 65年第68季度 第68季度55 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{X.Qin}等人,Acta Inf.57,No.3-5627-656(2020;兹bl 1443.68114) 全文: 内政部
沃尔特·福格勒;杰拉尔德·吕特根 接口自动机的线性时间分支时间透视图。 (英语) Zbl 1443.68099号 学报信息。 57,编号3-5,513-550(2020).MSC公司:65年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}和\textit{G.Lüttgen},《学报》第57期,第3--5513-550号(2020年;Zbl 1443.68099) 全文: 内政部
本杰明·比斯平;乌韦·内斯特曼;柯斯汀·彼得斯 配对相似性:前32年。 (英语) Zbl 1476.68166号 学报信息。 57,编号3-5,439-463(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bisping}等人,《信息学报》57,第3--5439-463号(2020年;Zbl 1476.68166) 全文: 内政部
芬德里奇、萨沙;杰拉尔德·吕特根 接口自动机、组件兼容性和错误的一般理论。 (英语) Zbl 1421.68093号 学报信息。 56,第4号,287-319(2019).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Fendrich}和\textit{G.Lüttgen},《学报》第56卷第4期,第287--319页(2019年;Zbl 1421.68093) 全文: 内政部 链接
张丽君;杨鹏飞;宋磊;霍尔格·赫尔曼斯;克里斯蒂安·艾森特罗;大卫·詹森(David N.Jansen)。;Jens Chr.Godskesen。 实际调度程序的概率互模拟。 (英语) Zbl 1398.68374号 学报信息。 55,第6号,461-488(2018).MSC公司:68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,《学报》第55期,第6期,第461--488页(2018年;Zbl 1398.68374) 全文: 内政部
票价,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) 全文: 内政部 链接
杰拉尔德·吕特根;沃尔特·福格勒;芬德里奇、萨沙 具有乐观和悲观兼容性的更丰富的接口自动机。 (英语) Zbl 1325.68161号 学报信息。 52,编号4-5,305-336(2015).MSC公司:68问题85 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}等人,《信息学报》52,第4--5305-336号(2015;Zbl 1325.68161) 全文: 内政部
最好的,艾克;雷蒙德·魔鬼队 T系统的状态空间公理。 (英语) Zbl 1317.68129号 学报信息。 52,编号2-3,133-152(2015). 审核人:Jörg Desel(哈根) 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) 全文: 内政部
尤尔根·达索;弗罗林·马内亚;比安卡·特鲁特 进化处理器网络:子区域过滤器的力量。 (英语) Zbl 1272.68128号 学报信息。 50,第1期,41-75(2013).MSC公司:2005年第68季度 第68季度第42季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow}et al.,Acta Inf.50,No.1,41--75(2013;Zbl 1272.68128) 全文: 内政部
亚历克斯·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 1138.68039号 学报信息。 第2号第45页,第131-154页(2008年).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人,《信息学报》第45期,第2期,第131--154页(2008年;Zbl 1138.68039) 全文: 内政部
吉勒·杰勒茨;Jean-François拉斯金;劳伦特·范·贝京 结构良好的语言。 (英语) Zbl 1119.68105号 学报信息。 44,编号3-4,249-288(2007).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Geeraerts}等人,《信息学报》第44期,第3-4249--288号(2007年;Zbl 1119.68105) 全文: 内政部
林惠民;易、王 公理化时间自动机。 (英语) 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) 全文: 内政部
西北部Keesmaat。;H.C.M.克莱因。 基于网络的控制与理性控制:ITNC矢量语言与理性关系之间的关系。 (英语) Zbl 0865.68082号 学报信息。 34,第1期,23-57(1997). 审核人:H.C.M.Kleijn(莱顿) MSC公司:68问题85 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.W.Keesmat}和\textit{H.C.M.Kleijn},《学报》第34期,第1期,第23-57页(1997;Zbl 0865.68082) 全文: 内政部
德克·豪希尔特;马蒂亚斯·詹岑 矩阵文法理论中的Petri网算法。 (英语) Zbl 0834.68064号 学报信息。 31,第8期,719-728(1994). 审核人:D.豪希尔特 MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Hauschildt}和\textit{M.Jantzen},《学报》第31期,第8期,第719--728页(1994;Zbl 0834.68064) 全文: 内政部
劳伦特·皮埃尔;西尔维安·施维尔(Sylviane R.Schwer)。 向量加法系统语言的有理指数。 (英语) Zbl 0679.68143号 学报信息。 26,第6号,503-525(1989).MSC公司:65年第68季度 68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Pierre}和\textit{S.R.Schwer},《学报》第26期,第6期,第503--525页(1989年;Zbl 0679.68143) 全文: 内政部
雅克·科恩;马丁·罗斯 关于Strassen快速乘法算法的实现。 (英语) Zbl 0312.68026号 学报信息。 6, 341-355 (1976).MSC公司:68瓦99 68号01 65年第68季度 65千5 PDF格式BibTeX公司 XML格式引用 \textit{J.Cohen}和\textit{M.Roth},《学报参考》6,341--355(1976;Zbl 0312.68026) 全文: 内政部