苏,李;鲁道夫·戈麦斯;霍华德·鲍曼 使用通信自动机分析神经生物学模型。 (英语) Zbl 1342.92024号 正式Asp。计算。 26,第6期,1169-1204(2014).MSC公司:92B20型 65年第68季度 60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Su}等人,正式Asp。计算。26,第6号,1169--1204(2014;Zbl 1342.92024) 全文: 内政部
鲁道夫·戈麦斯 使用Uppaal完成带截止日期的模型检查时间自动机。 (英语) Zbl 1259.68126号 正式Asp。计算。 25,第2期,289-318(2013).MSC公司:60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gómez},正式Asp。计算。25,第2号,289--318(2013;Zbl 1259.68126) 全文: 内政部
霍华德·鲍曼;戈麦斯,鲁道夫 如何停止计时。 (英语) Zbl 1105.68059号 正式Asp。计算。 18,第4期,459-493(2006).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}和\textit{R.Gómez},正式Asp。计算。18,第4号,459--493(2006;Zbl 1105.68059) 全文: 内政部