Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 115, number:

1. Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:1-2 [Journal]
   
2. Ralf Huuck
   Semantics and Analysis of Instruction List Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:3-18 [Journal]
   
3. Alessandra Cavarra, Juliana Küster Filipe
   Combining Sequence Diagrams and OCL for Liveness. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:19-38 [Journal]
   
4. Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler
   Formalizing UML Models and OCL Constraints in PVS. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:39-47 [Journal]
   
5. Gwen Salaün, Pascal Poizat
   Interacting Extended State Diagrams. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:49-57 [Journal]
   
6. Rui Gustavo Crespo
   Integrating the Semantics of Deterministic Multi-layered Communication Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:59-68 [Journal]
   
7. Arnab Ray, Rance Cleaveland, Arne Skou
   An Algebraic Theory Of Boundary Crossing Transitions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:69-88 [Journal]
   
8. Andrzej Wasowski
   On Succinctness of Hierarchical State Diagrams in Absence of Message Passing. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:89-97 [Journal]