@第{zbMATH06553701条，作者={Bortolussi、Luca和Milios、Dimitrios和Sanguinetti、Guido}，标题={不确定连续时间{Markov}链的平滑模型检查}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={247}，页码={235--253}，年份={2016年}，语言={英语}，DOI={10.1016/j.ic.2016.01.004}，关键词={68Q60,60G15,60J28,68Q87}，URL={hdl.handle.net/20.500.11820/0e3b7bef-b48c-46cb-9d92-445e5e5f8ddd}，zbMATH={6553701}，Zbl=｛1336.68162｝}