Nested Timed Automata with Invariants
暂无分享,去创建一个
[1] Ashutosh Trivedi,et al. Recursive Timed Automata , 2010, ATVA.
[2] Adriano Peron,et al. Analysis of Timed Recursive State Machines , 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.
[3] Guoqiang Li,et al. Nested Timed Automata , 2013, FORMATS.
[4] Guoqiang Li,et al. Nested Timed Automata with Frozen Clocks , 2015, FORMATS.
[5] Wang Yi,et al. Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.
[6] Parosh Aziz Abdulla,et al. Dense-Timed Pushdown Automata , 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
[7] Mizuhito Ogawa,et al. Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata , 2014, FLOPS.
[8] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..
[9] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..