托马斯·亨辛格。;曼娜,佐哈尔;阿米尔·普努利 时间转换系统的时间证明方法。 (英语) Zbl 0820.68085号 Inf.计算。 112,No.2,273-337(1994).MSC公司:68问题85 第68页第27页 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,信息计算。112,No.2,273--337(1994;Zbl 0820.68085) 全文: 内政部 链接
托马斯·亨辛格。;曼娜,佐哈尔;阿米尔·普努利 数字钟有什么好处? (英语) Zbl 1425.68255号 Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 545-558 (1992).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。623545-558(1992年;Zbl 1425.68255) 全文: 内政部