Journals in DBLP

Theor. Comput. Sci.
2007, volume: 376, number: 3

1. Maura Cerioli, Tiziana Margaria, Michel Wermelinger
   Foreword. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:376, n:3, pp:137-138 [Journal]
   
2. Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
   Attributed graph transformation with node type inheritance. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:376, n:3, pp:139-163 [Journal]
   
3. Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
   Automated compositional proofs for real-time systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:376, n:3, pp:164-184 [Journal]
   
4. Gruia-Catalin Roman, Christine Julien, Jamie Payton
   Modeling adaptive behaviors in Context UNITY. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:376, n:3, pp:185-204 [Journal]
   
5. David A. Naumann
   Observational purity and encapsulation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:376, n:3, pp:205-224 [Journal]