Timed regular expressions
暂无分享,去创建一个
Paul Caspi | Eugene Asarin | Oded Maler | E. Asarin | O. Maler | P. Caspi
[1] Wolfgang Thomas,et al. Automata on Infinite Objects , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[2] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[3] Catalin Dima,et al. Real-Time Automata , 2001, J. Autom. Lang. Comb..
[4] Zohar Manna,et al. From Timed to Hybrid Systems , 1991, REX Workshop.
[5] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[6] Robert McNaughton,et al. Regular Expressions and State Graphs for Automata , 1960, IRE Trans. Electron. Comput..
[7] J. Howie. Fundamentals of semigroup theory , 1995 .
[8] J. Conway. Regular algebra and finite machines , 1971 .
[9] Philippe Herrmann,et al. Renaming is Necessary in Timed Regular Expressions , 1999, FSTTCS.
[10] Patricia Bouyer,et al. A Kleene/Büchi-like Theorem for Clock Languages , 2001, J. Autom. Lang. Comb..
[11] Sergio Yovine,et al. KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.
[12] Patricia Bouyer,et al. Decomposition and Composition of Timed Automata , 1999, ICALP.
[13] Robert McNaughton,et al. Testing and Generating Infinite Sequences by a Finite Automaton , 1966, Inf. Control..
[14] Jianmin Hou,et al. Hybrid Regular Expressions , 1998, HSCC.
[15] Dean N. Arden. Delayed-logic and finite-state machines , 1961, SWCT.
[16] Li Xuandong,et al. Hybrid Regular Expressions , 1998 .
[17] J. R. Büchi. On a Decision Method in Restricted Second Order Arithmetic , 1990 .
[18] S. Sieber. On a decision method in restricted second-order arithmetic , 1960 .
[19] Eugene Asarin. Equations on Timed Languages , 1998, HSCC.
[20] Paul Caspi,et al. A Kleene theorem for timed automata , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
[21] Patrick Suppes,et al. Logic, Methodology and Philosophy of Science , 1963 .
[22] Alexander Moshe Rabinovich,et al. From Finite Automata toward Hybrid Systems (Extended Abstract) , 1997, FCT.
[23] Boris A. Trakhtenbrot. Origins and metamorphoses of the Trinity: logic, nets, automata , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.