埃戈尔·弗拉基米洛维奇·库兹敏 有界计数器的LTL规范。 (俄语。英文摘要) Zbl 1497.68313号 模型。分析。Inf.姐妹。 29,编号1,44-59(2022).MSC公司:60年第68季度 03B44号 68号30 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.V.Kuz'min},模型。分析。内部Sist。29,第1号,44-59(2022;Zbl 1497.68313) 全文: DOI程序 跨国公司 OA许可证
格纳滕科,A.R。;扎哈罗夫,V.A。 关于\(\mathrm{CTL}^\ast\)的某些扩展的模型检查问题。 (俄语。英文摘要) Zbl 1513.68025号 模型。分析。Inf.姐妹。 27,第4期,428-441(2020).MSC公司:60年第68季度 03B44号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Gnatenko}和\textit{V.A.Zakharov},模型。分析。内部Sist。27,第4号,428--441(2020;Zbl 1513.68025) 全文: DOI程序 跨国公司 OA许可证