Author:
Bouchy Florent,Finkel Alain,San Pietro Pierluigi
Publisher
Open Publishing Association
Reference16 articles.
1. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems;Rajeev Alur,1992
2. A Theory of Timed Automata;Rajeev Alur;Theor. Comput. Sci.,1994
3. FAST: Acceleration from theory to practice;Sébastien Bardin;International Journal on Software Tools for Technology Transfer,2008
4. Reachability in Timed Counter Systems;Florent Bouchy,2009
5. Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences;Patricia Bouyer;Information and Computation,2008
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dense-choice Counter Machines revisited;Theoretical Computer Science;2014-07
2. Automata with Reversal-Bounded Counters: A Survey;Descriptional Complexity of Formal Systems;2014