N. KLARLUND, M. NIELSEN, AND K. SUNESEN, Automated logical verification based on trace abstraction, in Proc. 15th ACM Symposium on Principles of Distributed Computing, PODC '96, May 1996. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
BDD Algorithms and Cache Misses - Klarlund, Rauhe (1996) (1 citation) (Correct)
In this Issue - Welcome Coming (Correct)
Program Verification with Monadic Second-Order Logic & Languages.. - Møller (2002) (Correct)
A Communication Complexity Proof that Symmetric Functions.. - Brodal, Husfeldt (1996) (Correct)
MONA Implementation Secrets - Klarlund, Møller, Schwatzbach (2000) (30 citations) Self-citation (Klarlund) (Correct)
MONA Version 1.4 - User Manual - Klarlund, Møller (2001) Self-citation (Klarlund) (Correct)
Mona: Decidable Arithmetic in Practice - Biehl, Klarlund, Rauhe (1996) (6 citations) Self-citation (Klarlund) (Correct)
A Domain-Specific Language for Regular Sets of Strings and.. - Klarlund, Schwartzbach (1997) (6 citations) Self-citation (Klarlund) (Correct)
Formal Design Constraints - Klarlund, Koistinen, Schwartzbach (1997) (14 citations) Self-citation (Klarlund) (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