@收款{zbMATH07139660，作者＝{Henzinger，Thomas A.和Manna，Zohar和Pnueli，Amir}，Title={数字时钟有什么用？}，BookTitle={自动化，语言和编程。第19届国际学术讨论会，奥地利维也纳，1992年7月13日至17日。诉讼}，国际标准图书编号={978-3-540-55719-7；978-3-540-47278-0}，页码={545--558}，年份={1992年}，出版商={柏林：Springer-Verlag}，语言={英语}，DOI={10.1007/3-540-55719-9_103}，关键词={68Q60,03B44}，zbMATH＝{7139660}，Zbl={1425.68255}}