托马斯·亨辛格(Thomas A.Henzinger)。;彼得·科普克(Peter W.Kopke)。;阿努吉·普里;普拉文·瓦莱亚 混合自动机的决定因素是什么? (英语) Zbl 0920.68091号 J.计算。系统。科学。 57,第1号,94-124(1998年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,《计算杂志》。系统。科学。57,第1号,94-124(1998;Zbl 0920.68091) 全文: 内政部 链接 OA许可证
托马斯·亨辛格(Thomas A.Henzinger)。;彼得·科普克(Peter W.Kopke)。;Howard Wong-Toi,霍华德 时钟的表现力。 (英语) 兹比尔1412.68131 Fülöp,Zoltán(编辑)等人,《自动化、语言和编程》。1995年7月10日至14日,匈牙利塞格德,第22届国际学术讨论会,ICALP’95。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。944, 417-428 (1995).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。944417-428(1995年;Zbl 1412.68131) 全文: 内政部