埃里克·德文克(编辑);安娜·卡瓦尔坎蒂(编辑) 编辑。 (英语) Zbl 1458.68008号 正式Asp。计算。 33,第1期,第1-2期(2021年).MSC公司:68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.de Vink}(编辑)和\textit{A.Cavalcanti}(主编),正式Asp。计算。33,编号1,1--2(2021;Zbl 1458.68008) 全文: 内政部
马可夫斯基,J。;达赫尼奥,P.R。;巴顿,J.C.M。;德文克,E.P。 协调实时和随机时间:对概率求精的需要。 (英语) Zbl 1259.68147号 正式Asp。计算。 24,第4-6号,497-518(2012).MSC公司:68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{J.Markovski}等人,正式Asp。计算。24,编号4--6497--518(2012;Zbl 1259.68147) 全文: 内政部
纳塔利娅·科卡什;克里斯蒂安·克劳斯;埃里克·德文克 Reo+(\mathrm{mCRL2}):服务组合中的模型检查数据流的框架。 (英语) Zbl 1259.68129号 正式Asp。计算。 24,第2期,187-216(2012).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kokash}等人,正式Asp。计算。24,第2号,187--216(2012;Zbl 1259.68129) 全文: 内政部