杨景凯;邓伟林;邱道文;江、程 网络离散事件系统的不透明度。 (英语) Zbl 1475.68044号 信息科学。 543, 328-344 (2021).MSC公司:68平方米25 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Yang}等人,《信息科学》。543、328--344(2021年;Zbl 1475.68044) 全文: 内政部
李永明;曼弗雷德·德罗斯特;雷、李辉 多值系统中线性时间特性的模型检验。 (英语) Zbl 1428.68188号 信息科学。 377, 51-74 (2017).MSC公司:60年第68季度 03B50号 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《信息科学》。377、51-74(2017年;Zbl 1428.68188) 全文: 内政部 arXiv公司
玛丽安·盖奥吉;佛罗伦萨伊帕特;萨瓦斯·科努尔 基于使用覆盖自动机和X机器的可识别P系统的测试。 (英语) Zbl 1428.68153号 信息科学。 372, 565-578 (2016).MSC公司:2007年第68季度 2010年第68季度 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,《信息科学》。372565--578(2016年;Zbl 1428.68153) 全文: 内政部 链接
阿诺希拉万·萨布里;Hadjicostis,Christopros N。 离散事件系统安全应用中初始状态不透明度的验证。 (英语) Zbl 1320.68119号 信息科学。 246, 115-132 (2013).MSC公司:60年第68季度 2017年第68季度 第68季度第45季度 68问题85 93个B07 93立方65 PDF格式BibTeX公司 XML格式引用 \textit{A.Saboori}和\textit{C.N.Hadjicostis},信息科学。246115--132(2013;Zbl 1320.68119) 全文: 内政部
张新昌;杨美红;张健;石慧玲;张伟 扩展唯一输入/输出序列的研究。 (英语) Zbl 1248.68082号 信息科学。 203, 44-58 (2012).MSC公司:68个M12 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}等人,《信息科学》。203、44-58(2012;Zbl 1248.68082) 全文: 内政部
罗伯特·梅奥利奇;塔贾纳·卡普斯;Zmago布雷佐尼克 ACTLW–带除非运算符的基于操作的计算树逻辑。 (英语) Zbl 1134.68033号 信息科学。 178,第6期,1542-1557(2008).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Meolic}等人,《信息科学》。178,第6号,1542--1557(2008;Zbl 1134.68033) 全文: 内政部
Fehrer、Detlef;赫尔穆特·霍拉切克 在数学证明中提出不等式。 (英语) Zbl 0933.68124号 信息科学。 116,第1期,3-23页(1999年).MSC公司:第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fehrer}和\textit{H.Horacek},信息科学。116,第1号,第3--23号(1999;Zbl 0933.68124) 全文: 内政部