Search results for: Rajeev Alur
Information and Computation > 2000 > 160 > 1-2 > 167-188
Information Processing Letters > 1999 > 69 > 3 > 137-143
Theoretical Computer Science > 1999 > 211 > 1-2 > 253-273
Formal Methods in System Design > 1999 > 15 > 1 > 7-48
Formal Methods in System Design > 1997 > 11 > 2 > 137-155
International Journal on Software Tools for Technology Transfer > 1997 > 1 > 1-2 > 86-109
International Journal on Software Tools for Technology Transfer > 1997 > 1 > 1-2 > 86-109
Information and Computation > 1996 > 126 > 1 > 62-73
Distributed Computing > 1996 > 10 > 1 > 1-10