埃蒂安·安德烈;贝诺·德拉哈耶;波林·福尼尔 参数区间概率时间自动机的一致性。 (英语) Zbl 1494.68157号 J.日志。阿尔盖布。方法计划。 110,文章ID 100459,22 p.(2020).MSC公司:60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,J.Log。阿尔盖布。方法计划。110,文章ID 100459,22 p.(2020;Zbl 1494.68157) 全文: 内政部 arXiv公司
玛丽亚·马克西莫娃;霍尔格·吉斯;克里斯蒂安·克劳斯 概率定时图变换系统。 (英语) Zbl 1400.68058号 J.日志。阿尔盖布。方法计划。 101, 110-131 (2018).MSC公司:68号30 2012年第68季度 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Maximova}等人,J.日志。阿尔盖布。方法计划。101110-131(2018年;兹比尔1400.68058) 全文: 内政部 链接
彼得·贝兹克;尼古拉·贝内什;伊万娜·乔纳;吉里巴纳特 时间自动机的时钟LTL参数综合。 (英语) Zbl 1395.68164号 J.日志。阿尔盖布。方法计划。 99, 114-142 (2018).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bezděk}等人,J.Log。阿尔盖布。方法计划。99、114——142(2018;Zbl 1395.68164) 全文: 内政部
约翰·卡米莱里。;杰拉尔多·施奈德 规范性文件的建模和分析。 (英语) Zbl 1371.68176号 J.日志。阿尔盖布。方法计划。 91, 33-59 (2017).MSC公司:60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Camilleri}和\textit{G.Schneider},J.Log。阿尔盖布。方法计划。91、33-59(2017年;Zbl 1371.68176) 全文: 内政部