张燕;朱兆辉;张金金;周勇(Zhou,Yong) 公理化Lüttgen&Vogler的有限过程就绪模拟{CLL}_{R} \)。 (英语) Zbl 1457.68196号 J.应用。日志。 第3部分第4号第13条,654-675(2015).MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,J.Appl。日志。13,第4号,第3部分,654--675(2015;Zbl 1457.68196) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在Maurer机器上模拟图灵机器。 (英语) Zbl 1150.03011号 J.应用。日志。 6,第1号,1-23(2008). 审核人:丹尼尔拉·马林内斯库(布拉索夫) MSC公司:03天10分 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。6,第1号,1--23(2008;Zbl 1150.03011) 全文: 内政部 链接
郭海峰;刘、苗;罗普,Partha S。;罗马克里希南,C.R。;罗马克里希南,I.V。 嵌入式系统中自适应重用的精确规范匹配。 (英语) 兹比尔1122.68074 J.应用。日志。 5,第2号,333-355(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-F.Guo}等人,J.Appl。日志。5,第2号,333--355(2007;Zbl 1122.68074) 全文: 内政部
迪特尔·赫特;海科·曼特尔;伊娜·谢弗;阿克塞尔·谢尔 多智能体系统的安全性:比较购物案例研究。 (英语) Zbl 1122.68092号 J.应用。日志。 5,第2号,303-332(2007).MSC公司:68时01分 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Hutter}等人,J.Appl。日志。5、编号2、303--332(2007;Zbl 1122.68092) 全文: 内政部
V.戈兰科。;A.蒙塔纳里。;Sala,P。;Sciavicco,G。 命题区间时序逻辑的一般表方法:理论与实现。 (英语) Zbl 1104.03010号 J.应用。日志。 4,第3号,305-330(2006). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B44号 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人,J.Appl。日志。4,第3号,305-330(2006;Zbl 1104.03010) 全文: 内政部 链接
罗伯特·戈德布拉特 数学模态逻辑:对其演变的看法。 (英语) 兹比尔1041.03015 J.应用。日志。 1,编号5-6,309-392(2003). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B45号 03-03 01A60型 03-02 PDF格式BibTeX公司 XML格式引用 \文本{R.Goldblatt},J.Appl。日志。1、编号5--6309--392(2003;Zbl 1041.03015) 全文: 内政部