O. Kupferman and M.Y. Vardi. Modular model checking. In Proc. Compositionality Workshop, volume 1536 of Lecture Notes in Computer Science, pages 381--401. Springer-Verlag, 1998. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Unknown - Ya--- Fi Mu (2002) (Correct)
Modular Verification of Feature-Oriented Software Models - Fisler, Krishnamurthi (2002) (Correct)
Dividing and Conquering the Layered Land - Franceschet (Correct)
Using Assumptions to Distribute CTL Model Checking - Brim, Crhova, Yorav (2002) (Correct)
The Influence of Software Module Systems on Modular.. - Li, Fisler, Krishnamurthi (2002) (Correct)
Data-Flow Analysis of Program Fragments - Rountev, Ryder, Landi (1999) (11 citations) (Correct)
A Semantic Theory for Heterogeneous System Design - Cleaveland, Lüttgen (2000) (Correct)
A Semantic Theory for Heterogeneous System Design - Cleaveland, Lüttgen (2000) (Correct)
Equivalence-Based Reductions and checking for preorders - Bustan (2002) (Correct)
The Influence of Software Module Systems on Modular.. - Li, Fisler, Krishnamurthi (2002) (Correct)
Model Checking for Database Theoreticians - Moshe Vardi Rice Self-citation (Vardi) (Correct)
Fair Equivalence Relations - Orna Kupferman And Self-citation (Kupferman Vardi) (Correct)
An Automata-Theoretic Approach to Reasoning about.. - Kupferman, Vardi (2000) (16 citations) Self-citation (Kupferman Vardi) (Correct)
The ForSpec Temporal Logic: A New Temporal.. - Armoni, Fix.. (2001) (4 citations) Self-citation (Vardi) (Correct)
Fair Equivalence Relations - Kupferman, Piterman, Vardi Self-citation (Kupferman Vardi) (Correct)
An Automata-Theoretic Approach to Reasoning about.. - Kupferman, Vardi (2000) (16 citations) Self-citation (Kupferman Vardi) (Correct)
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