Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 187, number:

1. Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:1- [Journal]
   
2. H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim
   Modelchecking Correctness of Refactorings - Some Experiments. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:3-17 [Journal]
   
3. Leo Freitas, Jim Woodcock
   FDR Explorer. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:19-34 [Journal]
   
4. John Derrick, Eerke A. Boiten
   Relational Concurrent Refinement with Internal Operations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:35-53 [Journal]
   
5. Lindsay Groves, Robert Colvin
   Derivation of a Scalable Lock-Free Stack Algorithm. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:55-74 [Journal]
   
6. Graeme Smith, Kirsten Winter
   Simulation Machines for Checking Action System Refinements. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:75-90 [Journal]
   
7. Tomi Westerlund, Juha Plosila
   Time Aware System Refinement. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:91-106 [Journal]
   
8. Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
   A Denotational Semantics for Circus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:107-123 [Journal]
   
9. Bernhard K. Aichernig, Jifeng He
   Refinement and Test Case Generation in UTP. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:125-143 [Journal]
   
10. Xiaojian Liu, Zhiming Liu, Liang Zhao
    Object-Oriented Structure Refinement - A Graph Transformational Approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:145-159 [Journal]
    
11. K. S. Cheung, K. O. Chow
    A Petri Net Based Method for Refining Object Oriented System Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:161-172 [Journal]
    
12. David Hemer
    Semi-Automated Component-Based Development of Formally Verified Software. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:173-188 [Journal]