埃里克·巴杜埃尔;贝诺·凯劳德;达伦多,P。 通过Petri网综合分配有限自动机。 (英语) Zbl 1017.68062号 正式Asp。计算。 13,第6期,447-470(2002).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃里·巴杜埃尔}等人,正式Asp。计算。13,第6号,447--470(2002;Zbl 1017.68062) 全文: 内政部
佛罗伦萨伊帕特;迈克·霍尔科姆 通信流(X)-机器系统的测试条件。 (英语) 兹比尔1017.68008 正式Asp。计算。 13,第6期,431-446(2002).MSC公司:64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{M.Holcombe},正式Asp。计算。13,第6号,431--446(2002;Zbl 1017.68008) 全文: 内政部
斯坦·克罗格达尔;奥拉夫·莱恩 关于并行消息传递过程的验证。 (英语) Zbl 1017.68067号 正式Asp。计算。 13,第6期,471-492(2002).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Krogdahl}和\textit{O.Lysne},正式Asp。计算。13,第6号,471--492(2002;Zbl 1017.68067) 全文: 内政部