What good are digital clocks. (1992)

by T Henzinger, Z Manna, A Pnueli
Venue:In Proc. of Internation Conf. on Automata, Languages, and Programming,