Author:
Bersani Marcello M.,Rossi Matteo,Pietro Pierluigi San
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. qtlsolver,
http://qtlsolver.googlecode.com
2. Zot: a bounded satisfiability checker,
http://zot.googlecode.com
3. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
4. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. Journal of the ACM 43(1), 116–146 (1996)
5. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献