What good are digital clocks (1992)

by T A Henzinger, Z Manna, A Pnueli
Venue:Proceedings of the ICALP92, LNCS 623