Proving hybrid protocols correct (2001)

by Mark Bickford , Christoph Kreitz , Robbert van Renesse , Xiaoming Liu
Venue:IN R. BOULTON AND P. 14 JACKSON (EDS.), INTERNATIONAL CONFERENCE ON THEOREM PROVING IN HIGHER ORDER LOGICS, VOLUME 2152 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:5 - 2 self