Krishnamani Kalyanasundaram, R. K. Shyamasundar. Verification of Clock Synchronization in TTP. In Madhavan Mukund, K. Rangarajan, K. G. Subramanian, editors, Formal Models, Languages and Applications [this volume commemorates the 75th birthday of Prof. Rani Siromoney]. Volume 66 of Series in Machine Perception and Artificial Intelligence, pages 176-195, World Scientific, 2007.
Abstract is missing.