彼得·马雷蒂奇,格鲁;穆罕默德·托拉比·达什蒂;戴维·巴恩斯 锚定LTL分离。 (英语) Zbl 1394.03034号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。第74号论文,第9页(2014年)。 MSC公司: 03B44号 时间逻辑 05年3月 与逻辑问题相关的自动机和形式文法 关键词:\(\omega\)-自动机;线性时序逻辑;活泼;安全 PDF格式BibTeX公司 XML格式引用 \textit{G.Petric Maretić}等人,in:第二十三届EACSL计算机科学逻辑年会联合会议记录,CSL,2014年第29届ACM/IEEE计算机科学逻辑研讨会,LICS 2014,奥地利维也纳,2014年7月14-18日。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会。第74号论文,第9页(2014;Zbl 1394.03034) 全文: 内政部