Mark Bickford Christoph Kreitz Robbert van Renesse Xiaoming Liu 0003 Proving Hybrid Protocols Correct. 105-120 2001 conf/tphol/2001 TPHOLs http://link.springer.de/link/service/series/0558/bibs/2152/21520105.htm db/conf/tphol/tphol2001.html#BickfordKRL01