K. L. McMillan. Symbolic Model Checking. Kluwer Academic Press, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Accelerating External Search with Bitstate Hashing - Edelkamp, Jabbar (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Press, 1993.
Parallel External Directed Model Checking with Linear I/O - Jabbar, Edelkamp (2006) (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Press, 1993.
Design Methodology and Tools for Wireless System Design.. - Berkeley Wireless.. (Correct)
No context found.
K. McMillan, Symbolic Model Checking, Kluwer,1993
Rune M. Jensen, Manuela M. Veloso and Randal E. Bryant - Computer Science Department (Correct)
No context found.
McMillan, K. L. 1993. Symbolic Model Checking. Kluwer Academic Publ.
Reasoning about Action and Cooperation - Sauro, Gerbrandy, van der Hoek.. (2006) (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. PhD thesis, CMU University, 1992.
Formal Verification of Distributed Mutual-Exclusion.. - Meolic, Kapus, Dugonik.. (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. PhD thesis, Carnegie Mellon University, May 1992. Technical report CMU-CS-92-131.
Embedding and Verification of PSL using AsmL - Amjad Gawanmeh Ali (Correct)
No context found.
M.L. McMillan. Symbolic Model Checking, Kluwer Academic Pub., 1993.
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at.. - Moy, Maraninchi, al. (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. PhD thesis, Boston, 1993.
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (1 citation) (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. PhD thesis, Carnegie Mellon University, Pittsburgh, 1993.
Int J Softw Tools Technol Transfer (2004) 6: 257--259 /.. - Special Section On (Correct)
No context found.
McMillan KL (1993) Symbolic model checking. Kluwer, Dordrecht
Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2002) (3 citations) (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Press, 1993.
Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2004) (3 citations) (Correct)
No context found.
McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Press, 1993
Software Verification Research Centre - School Of Information (1995) (4 citations) (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Press, 1993.
Istituto Per La Ricerca - Scientifica Tecnologica Povo (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publ., 1993.
Improving System Reliability Via Model Checking: The.. - Bozzano (2003) (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publ., 1993.
Specifying and Analyzing Early Requirements: Some.. - Fuxman, Liu.. (2003) (1 citation) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publ., 1993.
The Impact of AND/OR Search Spaces on Constraint.. - Dechter, Mateescu (2004) (Correct)
No context found.
McMillan, K.L.: Symbolic Model Checking. Kluwer Academic (1993)
Rigorous Development of a Safety-Critical System.. - Xu, Randell.. (1999) (6 citations) (Correct)
No context found.
K.L. McMillan, "Symbolic Model Checking," PhD thesis, Carnegie Mellon University, Kluwer Academic Publishers, 1993.
Directed Search for the Verification of Communication Protocols - Lafuente (2003) (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Press, 1993.
Requirements-Level Semantics and Model Checking of.. - Eshuis, Jansen, Wieringa (2002) (Correct)
No context found.
McMillan KL. Symbolic model checking. Kluwer, Dordrecht, 1993
A. Cimatti, M. Pistore, and M. Roveri - International Conference On (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publ., 1993.
Memory Efficient State Storage in SPIN - Visser, Barringer (1995) (6 citations) (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. PhD thesis, Carnegie Mellon University, May 1992.
Verifying Time Partitioning in the DEOS Scheduling Kernel - Penix, Visser, Park, al. (2004) (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic, 1993.
Model-Based Formal Analysis of Temporal Aspects in.. - Loer, Harrison (2003) (Correct)
No context found.
McMillan, K. L. (1993). Symbolic model checking. Kluwer.
Model-based Automated Analysis for Dependable Interactive Systems - Loer (2003) (1 citation) (Correct)
No context found.
McMillan, K. L. (1993). Symbolic model checking. Kluwer.
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