陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 连续时间马尔可夫链上线性持续时间特性的验证。 （英语） Zbl 1353.68174号 ACM事务处理。计算。日志。 第14号第4条第33条第35页（2013年）.MSC公司：60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人，ACM Trans。计算。日志。14，第4号，第33条，第35页（2013年；兹bl 1353.68174） 全文： 内政部
陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 连续时间马尔可夫链上线性持续时间特性的验证。 （英语） Zbl 1361.68139号 第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。265-274 (2012).MSC公司：60年第68季度 60J27型 PDF格式BibTeX公司 XML格式引用 \textit｛T.Chen｝等人，载于：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。265--274（2012；Zbl 1361.68139） 全文： 内政部
陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱 根据时间自动机规范对连续时间马尔可夫链进行模型检查。 （英语） 兹比尔1233.68156 日志。方法计算。科学。 7，第1号，第12号论文，34页（2011年）. 审核人：加布里埃尔·V·奥尔曼（布拉什奥夫） MSC公司：60年第68季度 45D05型 60年28日 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人，Log。方法计算。科学。7，第1号，第12号论文，34页（2011年；Zbl 1233.68156） 全文： 内政部