Search results for: Anuj Puri
Lecture Notes in Computer Science > Hybrid Systems III > 362-376
Lecture Notes in Computer Science > Hybrid Systems II > 359-369
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 210-227
Lecture Notes in Computer Science > STACS 95 > 143-156
Discrete Event Dynamic Systems > 2000 > 10 > 1-2 > 87-113
Discrete Event Dynamic Systems > 1999 > 9 > 2 > 135-146
Journal of Computer and System Sciences > 1998 > 57 > 1 > 94-124
International Journal on Software Tools for Technology Transfer > 1998 > 2 > 3 > 270-278