Cited By
View all- Navlakha SBar‐Joseph Z(2011)Algorithms in nature: the convergence of systems biology and computational thinkingMolecular Systems Biology10.1038/msb.2011.787:1Online publication date: 8-Nov-2011
- 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
- Show More Cited By