Search results for: Y. Kesten
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 591-620
Lecture Notes in Computer Science > Hybrid Systems > 179-208
Theoretical Computer Science > 2001 > 256 > 1-2 > 93-112
Information and Computation > 1999 > 150 > 2 > 209-243