K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Automata-Theoretic Model Checking Revisited - Vardi Self-citation (Checking) (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Symbolic Model Checking of Declarative Relational Models.. - Fschang Mit Edu (2006) Self-citation (Checking) (Correct)
No context found.
Ken L. McMillan. Symbolic Model Checking.Kluwer Academic Publishers, 1993.
Informatica 29 (2005) 219--226 219 - System Resource Utilization Self-citation (Checking) (Correct)
No context found.
K. L. Macmillan, Symbolic Model Checking, Kluwer Academic Publishers, 1993.
Check and Simulate: A Case for Incorporating Model.. - Sobeih, Viswanathan, Hou (2004) Self-citation (Checking) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Incorporating Bounded Model Checking in Network.. - Sobeih, Viswanathan, Hou (2004) Self-citation (Checking) (Correct)
No context found.
K. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, 1993.
Automated Performance and Dependability Evaluation.. - Baier, Haverkort.. (2002) (1 citation) Self-citation (Checking) (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Analyzing Interaction Orderings with Model Checking - Matthew Dwyer Robby Self-citation (Checking) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Deadlock And Reachability Checking With Finite Complete Prefixes - Heljanko (1999) Self-citation (Checking) (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Treewidth in Verification: Local vs. Global - Ferrara, Pan, Vardi Self-citation (Checking) (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003) Self-citation (Checking) (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Implementing LTL Model Checking with Net Unfoldings - Esparza, Heljanko (2001) (3 citations) Self-citation (Checking) (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Counterexample Minimization for ACTL ShengYu Shen - Ying Qin And (Correct)
No context found.
K.L.McMillan. Symbolic model checking. Kluwer Academic Publishers, 1993.
Modular Verification of Code with SAT - Greg Dennis Felix (2006) (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
TestEra: Specification-based Testing of Java Programs Using SAT - Sarfraz Khurshid And (2004) (1 citation) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Unknown - (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Path Queries on Compressed XML - Peter Buneman Martin (2003) (9 citations) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
EPSL: Executable Protocol Specification Language - Edmund Clarke Yuan (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Executable Protocol Specification in ESL - Clarke German Lu (2000) (3 citations) (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Term-Level Verification of a Pipelined CISC - Microprocessor Randal Bryant (2005) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1992.
Symbolic Reasoning with Weighted and Normalized Decision.. - Ossowski, Baier (2005) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
FormalSpecificationinVHDL - Forhardwareverification Ralfreetz.. (Correct)
No context found.
K.L.McMillan.SymbolicModelChecking.Kluwer AcademicPublishers,NorwellMassachusetts,1993.
A Practical Perspective on the Verifying Compiler Proposal - Ireland (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Norwell Massachusetts, 1993.
Efficient BDDs for Bounded Arithmetic Constraints - Bartzis, Bultan (Correct)
No context found.
K. L. McMillan. Symbolic model checking. Kluwer Academic Publishers, Massachusetts, 1993.
ACM International Symposium on Software Testing and.. - Korat Automated Testing (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Inductive Verification of Cryptographic Protocols - Bella (2000) (4 citations) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publisher, 1993.
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