Journals in DBLP

Software and System Modeling
2004, volume: 3, number: 2

1. Paolo Bottoni, Mark Minas
   Introductory paper. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2004, v:3, n:2, pp:83-84 [Journal]
   
2. Dániel Varró
   Automated formal verification of visual modeling languages by model checking. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2004, v:3, n:2, pp:85-113 [Journal]
   
3. Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
   A component framework for system modeling based on high-level replacement systems. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2004, v:3, n:2, pp:114-135 [Journal]
   
4. Nik Swoboda, Gerard Allwein
   Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2004, v:3, n:2, pp:136-149 [Journal]
   
5. Yan Jin, Robert Esser, Jörn W. Janneck
   A method for describing the syntax and semantics of UML statecharts. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2004, v:3, n:2, pp:150-163 [Journal]
   
6. Claudia Ermel, Roswitha Bardohl
   Scenario animation for visual behavior models: A generic approach. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2004, v:3, n:2, pp:164-177 [Journal]