D.L. Dill. Trace theory for automatic hierarchical verification of speed independent circuits. MIT Press, 1989. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Verification of Open Systems - Orna Kupferman Hebrew (Correct)
No context found.
D.L. Dill. Trace theory for automatic hierarchical verification of speed independent circuits. MIT Press, 1989.
Safraless Compositional Synthesis - Orna Kupferman Nir (Correct)
No context found.
D.L. Dill. Trace theory for automatic hierarchical verification of speed independent circuits. MIT Press, 1989.
Games in System Design and Verification - Thomas Henzinger Epfl (Correct)
No context found.
D.L. Dill. Trace Theory for the Automatic Hierarchical Verification of Speed-Independent Circuits. MIT Press, 1989.
Combining Aspects of Reactive Systems - Leonid Kof And (Correct)
No context found.
Dill, D.L.: Trace Theory for Automatic Hierarchical Verification of Speed Independent Circuits. ACM Distinguished Dissertations. The MIT Press (1989)
Model Checking and Abstraction - Edmund Clarke Carnegie (1992) (202 citations) (Correct)
No context found.
D. L. Dill. Trace Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits. ACM Distinguished Dissertations. MIT Press, 1989.
Executable Protocol Specification in ESL - Clarke German Lu (2000) (3 citations) (Correct)
No context found.
David Dill. Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits. MIT Press, 1989.
Modelling and Verification of Delay-Insensitive Circuits.. - Kapoor, Josephs (2003) (Correct)
No context found.
D. L. Dill. Trace Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits. ACM Distinguished Dissertations. MIT Press, 1989.
The Bulletin of Symbolic Logic - Volume Number June (Correct)
No context found.
D. L. Dill, Trace theory for automatic hierarchical verification of speed independent circuits, MIT Press, 1989.
Interacting Discrete Event Systems: Modelling, Verification.. - Abdelwahed (2002) (Correct)
No context found.
D. L. Dill. Trace Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits. The MIT Press, 1988. An ACM Distinguished Dissertation.
An Old-Fashioned Recipe for Real Time - Abadi, Lamport (1993) (190 citations) (Correct)
No context found.
Dill, D. L. 1988. Trace Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits. Ph. D. thesis, Carnegie Mellon University.
Composing Specifications - Abadi, Lamport (1993) (105 citations) (Correct)
No context found.
Dill, D. L. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. Ph. D. thesis, Carnegie Mellon University, Feb. 1988.
A. Cimatti, M. Pistore, and M. Roveri - International Conference On (Correct)
No context found.
D. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations. MIT Press, 1988.
Executable Protocol Specification in ESL - Clarke German Veith (2000) (3 citations) (Correct)
No context found.
David Dill. Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits. MIT Press, 1989.
Compositional Methods for Probabilistic Systems - de Alfaro, Henzinger, Jhala (2001) (13 citations) (Correct)
No context found.
D.L. Dill. Trace Theory for Automatic Hierarchical Verification of Speedindependent Circuits. The MIT Press, 1989.
Timed Interfaces - de Alfaro, Henzinger, Stoelinga (2002) (1 citation) (Correct)
No context found.
D.L. Dill. Trace Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits. MIT Press, 1988.
Timed I/O Automata: A Mathematical Framework for.. - Kaynar, Lynch.. (Correct)
No context found.
D. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations. MIT Press, 1988.
Convertibility Verification and Converter Synthesis.. - Cadence Berkeley.. (Correct)
No context found.
D. L. Dill, Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations, MIT Press, 1989.
A Correctness Criterion for Asynchronous Circuit.. - Gopalakrishnan.. (1992) (5 citations) (Correct)
No context found.
, David L. Dill. TraceTheory for Automatic Hierarchical Verification of Speed-independent Circuits. MIT AnACM Distinguished Dissertation.
Asynchronous Circuit Verification Using Trace Theory and CCS - Gopalakrishnan (1995) (Correct)
No context found.
David L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits. MIT Press, 1989. An ACM Distinguished Dissertation.
NuSMV 2.1 User Manual - Roberto Cavada Alessandro (Correct)
No context found.
D. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations. MIT Press, 1988.
Case Studies in Symbolic Model Checking - Gopalakrishnan, al. (1994) (1 citation) (Correct)
No context found.
David L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits. MIT Press, 1989. AnACM Distinguished Dissertation.
Real-time System = Discrete System + Clock Variables - Alur, Henzinger (1997) (5 citations) (Correct)
No context found.
D.L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits. The MIT Press, 1989.
Concurrent Omega-Regular Games - de Alfaro, Henzinger (2000) (3 citations) (Correct)
No context found.
D.L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits. The MIT Press, 1989.
Dynamic Reordering of High Latency Transactions in.. - Liebchen, Gopalakrishnan (1992) (Correct)
No context found.
David L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits. MIT Press, 1989. An ACM Distinguished Dissertation.
Counterexample-guided Control - Henzinger, Jhala, Majumdar (2003) (2 citations) (Correct)
No context found.
D.L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits. MIT Press, 1989.
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