Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2008, volume: 213, number: 1

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   An Efficient Solution for Model Checking Graph Transformation Systems. [Citation Graph (, )][DBLP]
   
   
3. 
   Towards a Systematic Method for Proving Termination of Graph Transformation Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   Modelling Dynamic Software Architectures using Typed Graph Grammars. [Citation Graph (, )][DBLP]
   
   
5. 
   Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. [Citation Graph (, )][DBLP]
   
   
6. 
   An Algorithm for Approximating the Satisfiability Problem of High-level Conditions. [Citation Graph (, )][DBLP]