A New Modality for Almost Everywhere Properties in Timed Automata
暂无分享,去创建一个
Patricia Bouyer | Béatrice Bérard | François Laroussinie | Houda Bel Mokadem | P. Bouyer | F. Laroussinie | B. Bérard
[1] Thomas A. Henzinger,et al. The benefits of relaxing punctuality , 1991, PODC '91.
[2] Jan van Leeuwen,et al. Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics , 1994 .
[3] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[4] Thomas A. Henzinger,et al. Hybrid Systems III , 1995, Lecture Notes in Computer Science.
[5] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..
[6] Grzegorz Rozenberg,et al. Semantics: Foundations and Applications , 1992, Lecture Notes in Computer Science.
[7] Petr Hájek,et al. Mathematical Foundations of Computer Science 1995 , 1995, Lecture Notes in Computer Science.
[8] Laurent Fribourg,et al. A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance , 2003, FME 2003.
[9] Thomas A. Henzinger,et al. Logics and Models of Real Time: A Survey , 1991, REX Workshop.
[10] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[11] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[12] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[13] Joseph Y. Halpern,et al. “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.
[14] Stavros Tripakis,et al. The Tool KRONOS , 1996, Hybrid Systems.
[15] Kim G. Larsen,et al. The power of reachability testing for timed automata , 1998, Theor. Comput. Sci..
[16] Kim Guldstrand Larsen,et al. The power of reachability testing for timed automata , 2003, Theor. Comput. Sci..
[17] Kim Guldstrand Larsen,et al. From Timed Automata to Logic - and Back , 1995 .
[18] Thomas A. Henzinger,et al. HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[19] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..