Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference12 articles.
1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Parametric temporal logic for “model measuring”;Alur,1999
3. The benefits of relaxing punctuality;Alur;Journal of the ACM,1996
4. R. Alur, T.A. Henzinger, M.Y. Vardi, Parametric real-time reasoning, in: ACM Symposium on Theory of Computing, 1993, pp. 592–601
5. Durations, parametric model-checking in timed automata with Presburger arithmetic;Bruyère,2003
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献