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.
@inproceedings{KalyanasundaramS07,
title = {Verification of Clock Synchronization in TTP},
author = {Krishnamani Kalyanasundaram and R. K. Shyamasundar},
year = {2007},
researchr = {https://researchr.org/publication/KalyanasundaramS07},
cites = {0},
citedby = {0},
pages = {176-195},
booktitle = {Formal Models, Languages and Applications [this volume commemorates the 75th birthday of Prof. Rani Siromoney]},
editor = {Madhavan Mukund and K. Rangarajan and K. G. Subramanian},
volume = {66},
series = {Series in Machine Perception and Artificial Intelligence},
publisher = {World Scientific},
}