Publications

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