Search results
Lecture Notes in Computer Science > Principles of Distributed Systems > Brief Announcements II > 135-138
Lecture Notes in Computer Science > Methods, Models and Tools for Fault Tolerance > Formal Reasoning about Fault Tolerant Systems and Protocols > 57-84