卡塔琳·安德烈·伊利;詹姆斯·本·沃雷尔 参数模型检查连续时间马尔可夫链。 （英语） Zbl 07760477号 穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第7条，第18页（2020年）。MSC公司：60年第68季度 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{C.-A.Ilie}和\textit{J.B.Worrell}，LIPIcs——莱布尼茨国际程序。通知。178，第7条，第18页（2020；Zbl 07760477） 全文： 内政部
高，杨;徐明;詹乃军;张丽君 连续时间马尔可夫链的模型检验条件CSL。 （英语） Zbl 1259.68125号 信息处理。莱特。 113，编号1-2，44-50（2013）.MSC公司：60年第68季度 87年第68季度 60J27型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gao}等人，《信息处理》。莱特。113，编号1-2，44-50（2013；兹bl 1259.68125） 全文： 内政部 链接
Ernst-Erich Doberkat 随机聚合逻辑。 （英语） Zbl 1207.03039号 理论计算机科学专著。EATCS系列多德雷赫特：施普林格（ISBN 978-3-642-02994-3/hbk；978-3-442-02995-0/电子书）。第十五卷，第231页。(2010). 审核人：卢茨·施罗德（不来梅） MSC公司：03B70号 03B45号 60J05型 60J25型 68问题85 87年第68季度 03-02 68-02 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat}，随机余代数逻辑。多德雷赫特：施普林格（2010年；兹bl 1207.03039） 全文： 内政部
保罗·巴拉里尼;安德拉斯·霍瓦思 产品形态CTMC的成分模型检查。 （英语） Zbl 1339.68163号 Michael Goldsmith（编辑）等人，《关键系统自动验证第七届国际研讨会论文集》（AVoCS 2007），英国牛津，2007年9月10日至12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》250，第1期，21-37（2009）。MSC公司：60年第68季度 03B70号 60年28日 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ballarini}和\textit{A.Horváth}，电子。注释Theor。计算。科学。250，编号1，21-37（2009；Zbl 1339.68163） 全文： 内政部
帕南加登，普拉卡什（编辑）;弗兰克·范·布鲁格尔（编辑） [J.J.M.M.鲁顿。;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克] 用于分析并发和概率系统的数学技术。 （英语） Zbl 1069.68074号 CRM专题系列23.普罗维登斯，RI：美国数学学会（AMS）（ISBN 0-8218-3571-8/hbk）。viii，215页。(2004). 审核人：亚历山德罗·杜西（贝加莫） MSC公司：60年第68季度 68问题85 60J10型 68卢比 03G25号 60J27型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{P.Panangaden}（编辑）和textit{F.van Breugel}（编），分析并发和概率系统的数学技术。普罗维登斯，RI:美国数学学会（AMS）（2004；Zbl 1069.68074） 全文： 内政部
克里斯特尔·拜尔;Joost-Pieter卡托恩;霍尔格·赫尔曼斯 连续时间马尔可夫链的近似符号模型检验。 （英语） Zbl 0934.03044号 Baeten，Jos C.M.（编辑）等人，CONCUR’99。并发理论。第十届国际会议，荷兰埃因霍温，1999年8月24日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1664, 146-161 (1999).MSC公司：03B70号 68瓦30 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。1664146-161（1999；Zbl 0934.03044）