Search results for: B. Schneider
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 113-122
Lecture Notes in Computer Science > Dependable and Historic Computing > Part C: Contributed Papers > 479-485
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 1-18
Lecture Notes in Computer Science > Replication > 151-167