1. Model-checking for real-time systems;Alur;Proc. 5th IEEE Symp. on Logic in Computer Science,1990
2. Model-checking for probabilistic real-time systems;Alur,1991
3. Verifying automata specifications of probabilistic real-time systems;Alur,1991
4. The benefits of relaxing punctuality;Alur;Proc. 10th ACM Symp. on Principles of Distributed Computing,1991
5. A really temporal logic;Alur;Proc. 30th IEEE Symp. on Foundations of Computer Science,1989