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]
Abstract is missing.