马苏德·易卜拉希米;古拉姆雷扎·索图德;阿里·莫瓦查尔 模糊程序图上模糊CTL的符号检查。 (英语) Zbl 1410.68224号 学报信息。 56,第1期,1-33页(2019年).MSC公司:60年第68季度 03B44号 03B52号 05C72号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ebrahimi}等人,《信息学报》56,第1期,1-33页(2019年;Zbl 1410.68224) 全文: DOI程序
Shan、Laixiang;杜晓敏;秦、郑 将LTL公式转换为Büchi自动机的有效方法。 (英语) Zbl 1403.68130号 前面。计算。科学。 9,第4期,511-523(2015).MSC公司:60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Shan}等人,前面。计算。科学。9,第4号,511--523(2015;Zbl 1403.68130) 全文: DOI程序
古拉姆雷扎·索图德;阿里·莫瓦查尔 模糊时序逻辑和模型中的抽象和近似。 (英语) Zbl 1331.68143号 正式Asp。计算。 27,第2期,309-334(2015).MSC公司:60年第68季度 03B44号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{G.Sotudeh}和\textit{A.Movaghar},正式Asp。计算。27,第2号,309--334(2015;Zbl 1331.68143) 全文: DOI程序