@inproceedings{985646f7762a4880b68e9d2f8c5851a0,
title = "Verification of clock synchronisation algorithms: Experiments on a combination of deductive tools",
author = "Damian Barsotti and Leonor Prensa-Nieto and Alwen Tiu",
year = "2005",
language = "English",
isbn = "1571-0661",
pages = "63--78",
editor = "{R Lazic and R Nagarajan}",
booktitle = "Proceedings of the 5th International Workshop on Automated Verficiation of Critical Systems (AVoCS 2005)",
publisher = "Elsevier",
note = "International Workshop on Automated Verfication of Critical Systems (AVoCS 2005) ; Conference date: 01-01-2005",
}