Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2009, volume: 250, number: 2

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Vector Symmetry Reduction. [Citation Graph (, )][DBLP]
   
   
3. 
   Automated Verification of Signalling Principles in Railway Interlocking Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   Verifying Communication Protocols Using Live Sequence Chart Specifications. [Citation Graph (, )][DBLP]
   
   
5. 
   On Refinement-Closed Security Properties and Nondeterministic Compositions. [Citation Graph (, )][DBLP]
   
   
6. 
   CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. [Citation Graph (, )][DBLP]
   
   
7. 
   Light-Weight SMT-based Model Checking. [Citation Graph (, )][DBLP]
   
   
8. 
   PVS Embedding of cCSP Semantic Models and Their Relationship. [Citation Graph (, )][DBLP]
   
   
9. 
   The Stable Revivals Model in CSP-Prover. [Citation Graph (, )][DBLP]
   
   
10. 
    Compositional CSP Traces Refinement Checking. [Citation Graph (, )][DBLP]