Author:
Nguyen Truong Khanh,Tan Tian Huat,Sun Jun,Li Jiaying,Liu Yang,Chen Manman,Dong Jin Song
Publisher
Springer International Publishing
Reference47 articles.
1. MCMT Benchmarks of Timed Automata. http://crema.di.unimi.it/~carioni/mcmt_ta.html
2. Technical Report of Scaling BDD-based Timed Verification with Simulation Reduction. http://tianhuat.github.io/tr_bddsr.pdf
3. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
4. Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: STOC, pp. 592–601 (1993)
5. Lecture Notes in Computer Science;E Asarin,1998