彼得·布里切夫;亚历山大·戴维;Larsen,Kim G。;李广元 一个\(\mathrm片段的有效控制器综合{MTL}_{0,\infty}\)。 (英语) Zbl 1360.68578号 学报信息。 51,第3-4号,165-192(2014).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人,《信息学报》第51期,第3-4165-192号(2014年;Zbl 1360.68578) 全文: 内政部
奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 无限状态系统的自动机理论方法。 (英语) Zbl 1288.68158号 Manna,Zohar(编辑)等人,《验证时间》。纪念埃米尔·普努利的散文。柏林:施普林格出版社(ISBN 978-3-642-13753-2/pbk)。计算机科学讲座笔记6200,202-259(2010)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,Lect。注释计算。科学。6200、202--259(2010年;Zbl 1288.68158) 全文: 内政部