A theory of timed automata (1999)

Cached

Download Links

by Rajeev Alur
Citations:2203 - 31 self

Active Bibliography

527 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
477 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997
2 Timed Automata for the Development of Real-Time Systems – Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie - 2011
658 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1177 Temporal and modal logic – E. Allen Emerson - 1995
Automata-theoretic Verification of Real Time Systems – Rajeev Alur, David Dill - 1995
859 The Temporal Logic of Actions – Leslie Lamport - 1993
541 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991