Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2008, volume: 201, number:

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   On the Refinement of Atomic Actions. [Citation Graph (, )][DBLP]
   
   
3. 
   Reduction and Refinement. [Citation Graph (, )][DBLP]
   
   
4. 
   Towards the Formal Verification of a Java Processor in Event-B. [Citation Graph (, )][DBLP]
   
   
5. 
   Trace-based Derivation of a Lock-Free Queue Algorithm. [Citation Graph (, )][DBLP]
   
   
6. 
   Constructing and Reasoning About Security Protocols Using Invariants. [Citation Graph (, )][DBLP]
   
   
7. 
   Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. [Citation Graph (, )][DBLP]
   
   
8. 
   Using Model Checking to Automatically Find Retrieve Relations. [Citation Graph (, )][DBLP]
   
   
9. 
   Refinement Algebra for Probabilistic Programs. [Citation Graph (, )][DBLP]
   
   
10. 
    Can Refinement be Automated? [Citation Graph (, )][DBLP]
    
    
11. 
    Power Aware System Refinement. [Citation Graph (, )][DBLP]
    
    
12. 
    Refinement in the Presence of Unknowns. [Citation Graph (, )][DBLP]