柯斯坦、海宁;巴巴拉·科尼格 连续概率转移系统的余代数跟踪语义。 (英语) Zbl 1314.68188号 日志。方法计算。科学。 9,第4号,第16号论文,34页(2013).MSC公司:68问题65 60年25日 18 C50 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Kerstan}和\textit{B.König},Log。方法计算。科学。9,第4号,第16号论文,34页(2013;Zbl 1314.68188) 全文: 内政部 arXiv公司
桑迪·巴拉格;托马斯·查泰恩 避免时间自动机网络中的共享时钟。 (英语) Zbl 1314.68196号 日志。方法计算。科学。 9,第4号,第13号论文,26页(2013).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Balaguer}和\textit{T.Chatain},Log。方法计算。科学。9,第4期,第13号论文,26页(2013;Zbl 1314.68196) 全文: 内政部 arXiv公司
理查德·梅尔(Richard M.Mayr)。;帕罗什·阿齐兹·阿卜杜拉 定价定时Petri网。 (英语) Zbl 1314.68199号 日志。方法计算。科学。 9,第4号,第10号论文,51页(2013).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Mayr}和\textit{P.A.Abdulla},日志。方法计算。科学。9,第4号,第10号论文,51页(2013;Zbl 1314.68199) 全文: 内政部 arXiv公司