Author:
Badban Bahareh,Lange Martin
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. http://research.microsoft.com/en-us/um/redmond/projects/z3/
2. Abdulla, P.A., Deneux, J., Ouaknine, J., Quaas, K., Worrell, J.: Universality Analysis for One-Clock Timed Automata. Fundamenta Informaticae, 89 (2008)
3. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theo. Comp. Sci. (1994)
4. Alur, R., Madhusudan, P.: Decision Problems for Timed Automata: A Survey. In: SFM School (2004)
5. Audemard, G., Bozzano, M., Cimatti, A., Sebastiani, R.: Verifying industrial hybrid systems with mathsat. ENTCS 119(2) (2005)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献