卢卡·卡德利;拉杜·格罗苏;Larsen，Kim G。;特里巴斯通，米尔科;马克斯·柴科夫斯基;安德烈·范丁 不确定连续时间马尔可夫链的集总性。 （英语） Zbl 1492.60219号 阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 391-409 (2021).MSC公司：60J25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。12846、391--409（2021；Zbl 1492.60219） 全文： 内政部 链接
尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;米凯尔·H·默勒。;所罗门·西克特;吉·斯尔巴 参数模态转换系统的精化检查。 （英语） Zbl 1309.68130号 学报信息。 52，编号2-3，269-297（2015）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，Acta Inf.52，No.2--3，269--297（2015；Zbl 1309.68130） 全文： 内政部 链接
贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel 为抽象概率自动机而结结巴巴。 （英语） Zbl 1283.68193号 J.日志。阿尔盖布。程序。 83，第1号，1-19（2014）.MSC公司：65年第68季度 03B45号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，J.Log。阿尔盖布。程序。83，第1号，第1-19号（2014；Zbl 1283.68193） 全文： 内政部
贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel 为抽象概率自动机而结结巴巴。 （英语） Zbl 1437.68094号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。7734, 149-163 (2013).MSC公司：65年第68季度 03B45号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，Lect。注释计算。科学。7734，149--163（2013；Zbl 1437.68094） 全文： 内政部
贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 抽象概率自动机。 （英语） Zbl 1296.68092号 Inf.计算。 232, 66-116 (2013).MSC公司：65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，《信息计算》。232、66-116（2013年；Zbl 1296.68092） 全文： 内政部