Search results for: Robbert Renesse
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 105-120
Lecture Notes in Computer Science > Progress in Distributed Operating Systems and Distributed Systems Management > 1-12
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Case Studies > 119-134
Lecture Notes in Computer Science > Replication > 19-40