Author:
Bouyer Patricia,Brihaye Thomas,Chevalier Fabrice
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Lecture Notes in Computer Science;R. Alur,2004
2. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
3. Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. Proc. of the IEEE 88, 971–984 (2000)
4. Lecture Notes in Computer Science;R. Alur,2001
5. Bouyer, P., Brihaye, T., Bruyère, V., Raskin, J.-F.: On the optimal reachability problem. Submitted (2006)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献