Search results for: Theis Rauhe
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 459-462
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 89-110
Information and Computation > 2004 > 193 > 2 > 75-83
Theory of Computing Systems > 2004 > 37 > 3 > 441-456