Mark Bickford, Christoph Kreitz, Robbert van Renesse, Xiaoming Liu 0003. Proving Hybrid Protocols Correct. In Richard J. Boulton, Paul B. Jackson, editors, Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings. Volume 2152 of Lecture Notes in Computer Science, pages 105-120, Springer, 2001. [doi]
@inproceedings{BickfordKRL01,
title = {Proving Hybrid Protocols Correct},
author = {Mark Bickford and Christoph Kreitz and Robbert van Renesse and Xiaoming Liu 0003},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2152/21520105.htm},
tags = {protocol},
researchr = {https://researchr.org/publication/BickfordKRL01},
cites = {0},
citedby = {0},
pages = {105-120},
booktitle = {Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
editor = {Richard J. Boulton and Paul B. Jackson},
volume = {2152},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42525-X},
}