E. A. Emerson. Temporal and modal logic. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 997--1072. MIT Press, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Formal Specification and Analysis of the Group - Domain Of Intrepretation (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 997--1072. MIT Press, 1990.
Deterministic Dynamic Monitors for Linear-Time Assertions - Armoni, Korchemny.. (2006) (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 997--1072. Elsevier, MIT Press, 1990.
Systems Biology and Automata - Mishra And Policriti (Correct)
No context found.
E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995--1072, 1990.
Verification of Open Systems - Orna Kupferman Hebrew (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 997--1072. Elsevier, MIT Press, 1990.
XS-systems: eXtended S-Systems and Algebraic - Di Erential Automata (Correct)
No context found.
E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 995-1072. MIT Press, 1990.
Modeling Cellular Behavior with Hybrid - Automata Bisimulation And (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995--1072. MIT Press, 1990.
Automata-Theoretic Techniques for Temporal Reasoning - Vardi (2006) (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 997--1072. Elsevier, MIT Press, 1990.
Model Checking of Unrestricted Hierarchical State Machines - Exte Nd Ed (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Elsevier/MIT Press, Amsterdam/Cambridge, 1990.
Model Checking of - Unrestricted Hierarchical State (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Elsevier/MIT Press, Amsterdam/Cambridge, 1990.
An algebraic approach to real-time specification - Aiguier, Beroff, Schobbens (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B, pages 995-1072. Elsevier, 1990.
Alternating Automata and Logics over Infinite Words (Extended .. - Löding, Thomas (2000) (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. v. Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995-1072. Elsevier Science Publishers, 1990.
The Semantics of Potential Intentions - Xiaocong Fan And (2005) (Correct)
No context found.
Emerson, E. A. 1990. Temporal and modal logic. In Handbook of theoretical computer science (vol. B): formal models and semantics. MIT Press. 995--1072.
Verification Of Concurrent Systems Using Actl - Robert Meolic Tatjana (2000) (Correct)
No context found.
EMERSON, E. A. Temporal and Modal Logic. In Handbook of Theoretical Computer Science, vol. B. Elsevier Science Publishers B.V., 1990, pp. 995-- 1072.
Submitted for Publication to - International Workshop On (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 995--1072. Elsevier Science Publishers/MIT Press, 1990. Chap. 16.
Shortest Counterexamples for Symbolic Model Checking of LTL.. - Schuppan, Biere (2005) (1 citation) (Correct)
No context found.
A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science: Volume B, Formal Methods and Semantics, pages 995--1072. North-Holland Pub. Co., 1990.
Submitted for Publication to - Annals Of Mathematics (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 995--1072. Elsevier Science Publishers/MIT Press, 1990. Chap. 16.
Liveness Checking as Safety Checking - Biere, Artho, Schuppan (2002) (7 citations) (Correct)
No context found.
Emerson, A., Temporal and modal logic, in: Handbook Theoretical Computer Science: Volume B, Formal Methods and Semantics (1995).
The Composition and Validation of Heterogeneous Control Laws - Benjamin Kuipers University (1994) (10 citations) (Correct)
No context found.
Emerson, E. A. (1990). Temporal and modal logic. In J. van Leeuwen, (Ed.), Handbook of Theoretical Computer Science, Elsevier Science Pub. B. V./MIT Press, pp. 995-1072.
Experiments with Deterministic ω-Automata for Formulas.. - Klein, Baier (2005) (Correct)
No context found.
Emerson, E.A.: Temporal and modal logic. In van Leeuwen, J., ed.: Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier Science Publishers (1990) 995--1072
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (1 citation) (Correct)
No context found.
E. Allen Emerson. Temporal and modal logic. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, pages 9951072. Elsevier Science Publishers, Amsterdam, The Netherlands, 1990.
Enhanced Diameter Bounding via Structural Transformation - Baumgartner, Kuehlmann (2004) (Correct)
No context found.
E. A. Emerson, "Temporal and modal logic," Handbook of Theoretical Computer Science, vol. B, 1990.
Model Checking Games - For The Alternation-Free (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, chapter 14, pages 996--1072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, New York, N.Y., 1990.
An Analysis of SAT-based Model Checking - Techniques In An (2005) (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 1990.
Verifying Nondeterministic Probabilistic Channel.. - Baier, Bertrand.. (2005) (Correct)
No context found.
EMERSON, E. A. 1990. Temporal and modal logic. In Handbook of Theoretical Computer Science, J. v. Leeuwen, Ed. Vol. B. Elsevier Science, Chapter 16, 995--1072.
Scalable Automated Verification via Expert-System.. - Mony.. (2004) (Correct)
No context found.
E. A. Emerson, "Temporal and modal logic," Handbook of Theoretical Computer Science, vol. B, 1990.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC