×

找到5个文档(结果1-5)

Büchi自动机的抽象解释。 (英语) Zbl 1401.68162号

2014年7月14日至18日,奥地利维也纳,2014年第二十三届EACSL计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑年会联席会议记录。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4503-2886-9)。第51号论文,第10页(2014年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型