Sign in

Proving Hybrid Protocols Correct.

Mark BickfordChristoph KreitzRobbert van RenesseXiaoming Liu
Published in: TPHOLs (2001)
Keyphrases
  • real time
  • real world
  • learning algorithm
  • case study
  • hybrid approaches