E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking.The MIT Press, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Regular Vacuity - Doron Bustan Alon Self-citation (Grumberg) (Correct)
No context found.
E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
Using Constrained Intuitionistic Linear Logic for Hybrid.. - Planning Problems Uluc (Correct)
No context found.
E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking.The MIT Press, 2000.
Deterministic Dynamic Monitors for Linear-Time Assertions - Armoni, Korchemny.. (2006) (Correct)
No context found.
E.M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
Systems Biology and Automata - Mishra And Policriti (Correct)
No context found.
E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. 1999.
Automata-Theoretic Model Checking Revisited - Vardi (Correct)
No context found.
E.M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
Modeling Cellular Behavior with Hybrid - Automata Bisimulation And (Correct)
No context found.
E. M. Clarke, O. Grumberg, and D. A. Peled. Model checking. MIT Press, 1999.
Reconstructing Temporal Logic Models using the GO Process.. - Using The Go (Correct)
No context found.
E.M. Clarke Jr., O. Grumberg, and D.A. Peled, Model Checking, MIT Press, Jan 2000.
Automata-Theoretic Techniques for Temporal Reasoning - Vardi (2006) (Correct)
No context found.
E.M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
Safraless Compositional Synthesis - Orna Kupferman Nir (Correct)
No context found.
E.M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
Towards Automatic Verification of Erlang Programs by - Calculus Translation Chanchal (Correct)
No context found.
E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999.
A Next-Generation Platform for Analyzing Executables - Reps Balakrishnan Lim (Correct)
No context found.
E.M. Clarke, Jr., O. Grumberg, and D.A. Peled. Model Checking. The M.I.T. Press, 1999.
Model checking active networks with SPIN - Gallardo, Martinez, Merino (2005) (Correct)
No context found.
E. Clarke, O. Grumberg, D. Peled, Model Checking, MIT Press, Cambridge, 2000.
A System for the Static Analysis of XPath - Geneves, Layaida (2006) (Correct)
No context found.
Edmund M. Clarke, J., Grumberg, O., and Peled, D. A. 1999. Model checking. MIT Press, Cambridge, MA, USA.
Formal Aspects of Computing A generalized semantics of.. - Gallardo, Merino, al. (2004) (Correct)
No context found.
Clarke E, Grumberg O, Peled D (2000) Model checking, The MIT Press
Action Planning for Graph Transition Systems - Edelkamp, Jabbar, al. (2005) (Correct)
No context found.
Clarke, E.; Grumberg, O.; and Peled, D. 1999. Model Checking. The MIT Press.
Model Checking Multi-Agent Systems - Bourahla, Benmohamed (2005) (Correct)
No context found.
Clarke, E. M., O. Grumberg, and D. A. Peled (1999) Model Checking, MIT Press.
QAPL 2004 Preliminary Version - Quantitative Calculus And (Correct)
No context found.
E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999.
I/O Efficient Directed Model Checking - Shahid Jabbar And (Correct)
No context found.
E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2000.
Action Planning for Directed Model Checking of Petri Nets - Edelkamp, Jabbar (2005) (Correct)
No context found.
Clarke, E., O. Grumberg and D. Peled, "Model Checking," The MIT Press, 1999.
Comparing Under and Over-Approximations of LTL.. - Gallardo, Merino.. (2002) (Correct)
No context found.
E. Cl arke, O. Grumberg, D. Pel ed,Model Checking The MIT Press, 2000. 1
Logical Concepts in Cryptography - Kramer (2006) (Correct)
No context found.
Clarke, Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)
Unknown - (Correct)
No context found.
Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. The MIT Press, Cambridge, MA, 1999.
Quantitative μ-calculus and CTL defined over.. - Lluch-Lafuente, Montanari (2005) (Correct)
No context found.
Clarke, E. M., O. Grumberg and D. A. Peled, "Model Checking," MIT Press, 1999.
External Program Model Checking - Stefan Edelkamp Shahid (Correct)
No context found.
E. M. Clarke, O. Grumberg, and D. A. Peled. Model checking. MIT Press, 1999.
Large-Scale Optimal PDDL3 Planning with MIPS-XXL - Stefan Edelkamp Shahid (Correct)
No context found.
Clarke, E.; Grumberg, O.; and Peled, D. 2000. Model Checking. MIT Press.
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