Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Keyword is traditional proof techniques  [Clear All Filters]
1997
Duggal HS, Cukier M, Sanders WH.  1997.  Probabilistic verification of a synchronous round-based consensus protocol. :165-174.