罗玲;段振华 基于扩展pi演算的时间相关并发移动系统建模与推理。 (中文。英文摘要) Zbl 1324.68067号 J.西安交通大学。 第9号第48页,第30-36页(2014年)。MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{L.Luo}和\textit{Z.Duan},J.西安交通大学48号,第9期,第30-36页(2014;Zbl 1324.68067) 全文: 内政部
俞振华;蔡元利;徐海平 动态软件体系结构的建模方法。 (中文。英文摘要) Zbl 1150.68322号 J.西安交通大学。 41,第2期,167-171(2007)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Yu}et al.,J.西安交通大学41,No.2,167--171(2007;Zbl 1150.68322)