iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/icdcs/SchmidWR02.xml
Ulrich Schmid 0001 Bettina Weiss John M. Rushby Formally Verified Byzantine Agreement in Presence of Link Faults. 608-616 2002 conf/icdcs/2002 ICDCS https://doi.org/10.1109/ICDCS.2002.1022311 https://doi.ieeecomputersociety.org/10.1109/ICDCS.2002.1022311 db/conf/icdcs/icdcs2002.html#SchmidWR02