Author:
Li Guoqiang,Wen Yunqing,Yuen Shoji
Publisher
Springer Science and Business Media LLC
Reference30 articles.
1. Alur R, Dill D L. A theory of timed automata. Theor Comput Sci, 1994, 126: 183–235
2. Bouyer P, Dufourd C, Fleury E, et al. Are timed automata updatable? In: Proceedings of the 12th International Conference on Computer Aided Verification, Chicago, 2000. 464–479
3. Bouyer P, Dufourd C, Fleury E, et al. Expressiveness of updatable timed automata. In: Proceedings of International Symposium on Mathematical Foundations of Computer, Bratislava, 2000. 232–242
4. Bouyer P, Dufourd C, Fleury E, et al. Updatable timed automata. Theor Comput Sci, 2004, 321: 291–345
5. Minsky M L. Computation: Finite and Infinite Machines. Upper Saddle River: Prentice-Hall, 1967