焦、李;张德逸;陆伟明 关于非对称选择网的活性和有界性。 (英文) Zbl 1070.68106号 西奥。计算。科学。 311,编号1-3,165-197(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jiao}等人,Theor。计算。科学。311,编号1--3,165-197(2004;Zbl 1070.68106) 全文: 内政部
焦、李;张德逸 用基于信标的性质刻画加权Petri网的活性单调性。 (英文) Zbl 1111.68539号 发现的国际期刊。计算。科学。 14,第4期,641-658(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jiao}和\textit{T.-Y.Cheung},国际期刊发现。计算。科学。14,第4号,641--658(2003;Zbl 1111.68539) 全文: 内政部
焦、李;张德逸;陆伟明 用虹吸管表征Petri网的活性。 (英文) Zbl 1047.68086号 Esparza,Javier(编辑)等人,《Petri网的应用和理论》,2002年。第23届国际会议,ICATPN 2002,澳大利亚阿德莱德,2002年6月24-30日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43787-8)。勒克特。注释计算。科学。203-216(2002)中所述。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jiao}等人,Lect。注释计算。科学。2360203--216(2002;Zbl 1047.68086) 全文: 链接
张,To-yat 协议验证的投影方法。 (英文) Zbl 0599.68031号 IEEE传输。软件工程。 12, 1088-1089 (1986).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{T.-y.Cheung},IEEE Trans。柔和。工程12,1088--1089(1986;Zbl 0599.68031) 全文: 内政部