奥尔德罗格(Ernst-Rüdiger Olderog);马尼省斯瓦米纳坦 数据丰富的实时系统的结构转换。 (英语) Zbl 1319.68150号 正式Asp。计算。 27,第4期,727-750(2015).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{M.Swaminathan},正式Asp。计算。27,第4号,727--750(2015;Zbl 1319.68150) 全文: 内政部
汤姆·波奇;什尔,昂德;弗朗蒂舍克·普拉舍尔;科夫罗,简 线程行为协议。 (英语) Zbl 1298.68066号 正式Asp。计算。 25,第4期,543-572(2013).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Poch}等人,正式Asp。计算。25,第4号,543--572(2013;Zbl 1298.68066) 全文: 内政部
弗雷德里克·朗;格温·萨拉恩;雷米·Hérilier;杰夫·克莱默;杰夫·马吉 将FSP转换为LOTOS和自动机网络。 (英语) Zbl 1214.68220号 正式Asp。计算。 22,第6期,681-711(2010).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Lang}等人,正式Asp。计算。22,第6号,681--711(2010;Zbl 1214.68220) 全文: 内政部
洛佩斯,安东尼亚;JoséLuiz Fiadeiro 叠加:非确定性、基于动作的系统的组合与细化。 (英语) Zbl 1086.68030号 正式Asp。计算。 16,第1期,第5-18页(2004年).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.Lopes}和\textit{J.L.Fiadeiro},正式Asp。计算。16,编号1,5-18(2004年;Zbl 1086.68030) 全文: 内政部
Jörn W.Janneck。 演员及其构成。 (英语) Zbl 1093.68064号 正式Asp。计算。 15,第4期,349-369(2003).MSC公司:68问题85 2005年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Janneck},正式Asp。计算。15,第4号,349--369(2003;Zbl 1093.68064) 全文: 内政部