Cited By
View all- Fisman DKupferman OLustig Y(2008)On verifying fault tolerance of distributed protocolsProceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems10.5555/1792734.1792763(315-331)Online publication date: 29-Mar-2008
- Dolev DHoch E(2007)Byzantine self-stabilizing pulse in a bounded-delay modelProceedings of the 9h international conference on Stabilization, safety, and security of distributed systems10.5555/1785110.1785129(234-252)Online publication date: 14-Nov-2007
- Anceaume EDelporte-Gallet CFauconnier HHurfin MWidder J(2007)Clock synchronization in the Byzantine-recovery failure modelProceedings of the 11th international conference on Principles of distributed systems10.5555/1782394.1782401(90-104)Online publication date: 17-Dec-2007