Journals in DBLP

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

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Simulation Refinement for Concurrency Verification. [Citation Graph (, )][DBLP]
   
   
3. 
   Completeness of ASM Refinement. [Citation Graph (, )][DBLP]
   
   
4. 
   An Algebraic Approach to Refinement with Fair Choice. [Citation Graph (, )][DBLP]
   
   
5. 
   Modal Tools for Separation and Refinement. [Citation Graph (, )][DBLP]
   
   
6. 
   Observational Refinement Process. [Citation Graph (, )][DBLP]
   
   
7. 
   Refinement-Based Verification of Interactive Real-Time Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   Linking Event-B and Concurrent Object-Oriented Programs. [Citation Graph (, )][DBLP]
   
   
9. 
   Refinement for Pipelining in Event-B. [Citation Graph (, )][DBLP]
   
   
10. 
    ArcAngelC: a Refinement Tactic Language for Circus. [Citation Graph (, )][DBLP]
    
    
11. 
    Experimenting Formal Proofs of Petri Nets Refinements. [Citation Graph (, )][DBLP]
    
    
12. 
    More Relational Concurrent Refinement: Traces and Partial Relations. [Citation Graph (, )][DBLP]
    
    
13. 
    General Refinement, Part One: Interfaces, Determinism and Special Refinement. [Citation Graph (, )][DBLP]
    
    
14. 
    General Refinement, Part Two: Flexible Refinement. [Citation Graph (, )][DBLP]
    
    
15. 
    Alloy as a Refactoring Checker? [Citation Graph (, )][DBLP]
    
    
16. 
    Refactoring Real-time Specifications. [Citation Graph (, )][DBLP]