Proving Hybrid Protocols Correct.

Mark Bickford Christoph Kreitz Robbert van Renesse Xiaoming Liu

Published in: TPHOLs (2001)

Keyphrases

real time
real world
learning algorithm
case study
hybrid approaches