Vaandrager,F.W。;德格罗特,A.L。 使用Uppaal和PVS分析双相标记协议。 (英语) Zbl 1102.68505号 正式Asp。计算。 18,第4期,433-458(2006).MSC公司:第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.W.Vaandrager}和\textit{A.L.de Groot},正式Asp。计算。18,第4号,433--458(2006;Zbl 1102.68505) 全文: 内政部 链接
苏布拉马尼,K。;Tauras,C.托拉斯。 2-MDFA中状态最小化的近似算法。 (英语) Zbl 1105.68067号 正式Asp。计算。 18,第4期,421-431(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani}和\textit{C.Tauras},正式Asp。计算。18,第4号,421--431(2006;Zbl 1105.68067) 全文: 内政部
詹妮弗·坦泽尔;佩迪塔·史蒂文斯 使用统一建模语言状态图的两种变体对递归调用和回调进行建模。 (英语) Zbl 1102.68451号 正式Asp。计算。 18,第4期,397-420(2006).MSC公司:68N99型 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Tenzer}和\textit{P.Stevens},正式Asp。计算。18,第4号,397--420(2006;Zbl 1102.68451) 全文: 内政部 链接
大卫·皮姆;克里斯·托夫茨 资源和过程的演算和逻辑。 (英语) Zbl 1111.68086号 正式Asp。计算。 18,第4期,495-517(2006); 勘误表同上19,第4号,551-554(2007年)。MSC公司:第68季度85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pym}和\textit{C.Tofts},正式Asp。计算。18,第4号,495--517(2006;Zbl 1111.68086) 全文: 内政部
霍华德·鲍曼;鲁道夫·戈麦斯 如何停止计时。 (英语) Zbl 1105.68059号 正式Asp。计算。 18,第4期,459-493(2006).MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}和\textit{R.Gomez},正式Asp。计算。18,第4号,459--493(2006;Zbl 1105.68059) 全文: 内政部