Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2004, volume: 101, number:

1. Frank S. de Boer, Marcello M. Bonsangue
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:1-2 [Journal]
   
2. Günter Graw, Peter Herrmann
   Transformation and Verification of Executable UML Models. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:3-24 [Journal]
   
3. Joost Jacob
   The OMEGA Component Model. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:25-49 [Journal]
   
4. Katerina Pokozy-Korenblat, Corrado Priami
   Toward Extracting ?-calculus from UML Sequence and State Diagrams. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:51-72 [Journal]
   
5. Marcel Kyas, Frank S. de Boer
   On Message Specifications in OCL. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:73-93 [Journal]
   
6. Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li
   Unifying Views of UML. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:95-127 [Journal]
   
7. Vladimir Mencl
   Specifying Component Behavior with Port State Machines. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:129-153 [Journal]
   
8. Martijn J. Wiering, Marcello M. Bonsangue, René van Buuren, Luuk Groenewegen, Henk Jonkers, Marc M. Lankhorst
   Investigating the mapping of an Enterprise Description Language into UML 2.0. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:155-179 [Journal]