瓦伦蒂娜·卡斯蒂格利奥尼;西蒙·蒂尼 非确定概率转移系统分支度量的逻辑特征。 （英语） 兹比尔1430.68161 Inf.计算。 268，文章ID 104432，40 p.（2019）.MSC公司：68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}和\textit{S.Tini}，Inf.Compute。268，文章ID 104432，40 p.（2019；Zbl 1430.68161） 全文： 内政部
米克尔·汉森;金·古德斯特兰·拉森;拉杜·马达尔;马蒂亚斯·拉加德·佩德森 关于加权转移系统中边界的推理。 （英语） Zbl 1528.68253号 日志。方法计算。科学。 14，第4号，第19号论文，32页（2018年）.MSC公司：68问题85 03B45 PDF格式BibTeX公司 XML格式引用 \textit{M.Hansen}等人，《日志》。方法计算。科学。14，第4号，第19号文件，第32页（2018；兹bl 1528.68253） 全文： 内政部 arXiv公司
Larsen，Kim G。;拉杜·马达尔;薛冰田 并发加权逻辑。 （英语） Zbl 1330.68210号 J.日志。阿尔盖布。方法计划。 84，第6期，884-897（2015）.MSC公司：68问题85 03B45 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，J.Log。阿尔盖布。方法计划。84，第6号，884--897（2015；Zbl 1330.68210） 全文： 内政部
德克斯特·科赞;拉杜·马达尔;帕南加登，普拉卡什 马尔可夫过程的度量对偶定理。 （英语） Zbl 1337.68186号 Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308211-227，仅电子版（2014）。MSC公司：68问题85 03B45 03G25号 60年25日 第68季度87 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}等人，《电子》。理论注释。计算。科学。308211--227（2014；Zbl 1337.68186） 全文： 内政部
Larsen，Kim G。;拉杜·马达尔 加权模态逻辑的完整证明系统。 （英语） Zbl 1317.68120号 西奥。计算。科学。 546, 164-175 (2014). 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：60年第68季度 03B45 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Mardare}，Theor。计算。科学。546164--175（2014年；Zbl 1317.68120） 全文： 内政部