On Verifying Fault Tolerance of Distributed Protocols

From MaRDI portal
Publication:5458335

DOI10.1007/978-3-540-78800-3_22zbMath1134.68317OpenAlexW1589238783MaRDI QIDQ5458335

Dana Fisman, Yoad Lustig, Orna Kupferman

Publication date: 11 April 2008

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78800-3_22




Related Items (6)



Cites Work


This page was built for publication: On Verifying Fault Tolerance of Distributed Protocols