Journals in DBLP

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

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Automatic Verification of Combined Specifications: An Overview. [Citation Graph (, )][DBLP]
   
   
3. 
   Prototyping System Requirements Model. [Citation Graph (, )][DBLP]
   
   
4. 
   A Rigorous Model of Service Component Architecture. [Citation Graph (, )][DBLP]
   
   
5. 
   The Verification of rCOS Using Spin. [Citation Graph (, )][DBLP]
   
   
6. 
   Integrating Refinement into Software Development Tools. [Citation Graph (, )][DBLP]
   
   
7. 
   An Exercise on Transition Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   On Verification of Linear Occurrence Properties of Real-Time Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Parametric Analysis of an Improved Fault Tolerant System. [Citation Graph (, )][DBLP]
   
   
10. 
    Shape Analysis by Refining on Abstract Evaluation Path. [Citation Graph (, )][DBLP]
    
    
11. 
    Engineering of An Assertion-based PSL^Simple-Verilog Dynamic Verifier by Alternating Automata. [Citation Graph (, )][DBLP]
    
    
12. 
    Barbed Model-Driven Software Development: A Case Study. [Citation Graph (, )][DBLP]
    
    
13. 
    Generic Tools via General Refinement. [Citation Graph (, )][DBLP]
    
    
14. 
    Pre-Galois Connection on Coalgebras for Generic Component Refinement. [Citation Graph (, )][DBLP]