萨伏安·塔哈;雅克·朱利安德;弗雷德里克·达多;卡卢·卡布雷拉·卡斯蒂略;比拉尔Kanso 一种基于合成自动机的语义,并保留用于测试属性模式的转换规则。 (英语) Zbl 1338.68164号 正式Asp。计算。 27,第4期,641-664(2015).MSC公司:68问题55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Taha}等人,正式Asp。计算。27,第4号,641--664(2015;Zbl 1338.68164) 全文: 内政部
普拉萨德·西斯特拉。 时间逻辑中的安全、生动和公平。 (英语) Zbl 0820.68077号 正式Asp。计算。 第6期,第5期,第495-511页(1994年).MSC公司:60年第68季度 第68季度10 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Prasad Sistla},正式Asp。计算。6,第5号,495--511(1994;Zbl 0820.68077) 全文: 内政部