詹姆斯·里利;马修·轩尼诗 移动代理开放系统中的信任和部分键入。 (英语) 兹比尔1069.68076 J.汽车。推理 31,编号3-4,335-370(2003).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Riely}和\textit{M.Hennessy},J.Autom。推理31,No.3--4,335--370(2003;Zbl 1069.68076) 全文: 内政部
伊娃·罗斯 轻量级字节码验证。 (英语) 兹比尔1069.68542 J.汽车。推理 31,编号3-4,303-334(2003).MSC公司:68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Rose}、J.Autom。推理31,No.3--4,303--334(2003;Zbl 1069.68542) 全文: 内政部
大卫·阿斯皮纳尔;阿德里亚娜·孔皮诺尼 堆型汇编语言。 (英语) Zbl 1069.68033号 J.汽车。推理 31,第3-4号,261-302(2003).MSC公司:68甲15 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinal}和\textit{A.Compagnoni},J.Autom。推理31,No.3--4,261--302(2003;Zbl 1069.68033) 全文: 内政部
安德鲁·W·阿佩尔。;Michael,新植物;阿伦·斯塔姆;罗伯托·维尔加 值得信赖的校对员。 (英语) Zbl 1069.68596号 J.汽车。推理 31,第3-4、231-260号(2003).MSC公司:68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Appel}等人,J.Autom。推理31,第3--4231-260号(2003年;Zbl 1069.68596) 全文: 内政部
纳迪姆·A·哈米德。;邵,钟;瓦列里·特里福诺夫;斯特凡·莫尼尔;倪兆忠 基本证明代码的语法方法。 (英语) 兹比尔1069.68038 J.汽车。推理 31,第3-4号,191-229(2003).MSC公司:68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Hamid}等人,J.Autom。推理31,No.3--4,191-229(2003;Zbl 1069.68038) 全文: 内政部