劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 在时间动作逻辑中指定和验证交互协议。 (英语) Zbl 1122.68122号 J.应用。日志。 5,第2期,214-234(2007).MSC公司:68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,J.Appl。日志。5,No.2,214--234(2007;Zbl 1122.68122) 全文: 内政部
劳拉·佐丹奴;阿尔贝托·马泰利 动态线性时间时序逻辑的基于表的自动机构造。 (英语) Zbl 1112.03014号 安。数学。Artif公司。智力。 46,第3期,289-315(2006).MSC公司:03B44号 05年3月 68号30 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{A.Martelli},Ann.数学。Artif公司。智力。46,第3号,289--315(2006;Zbl 1112.03014) 全文: 内政部