Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             12 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Hierarchical Program Representation for Refactoring Van Eetvelde, Niels
2003
82 7 p. 91-104
14 p.
artikel
2 Behavior and Instantiation of High–Level Net Processes Ehrig, Hartmut
2003
82 7 p. 1-15
15 p.
artikel
3 Case Study Padberg, Julia
2003
82 7 p. 34-45
12 p.
artikel
4 Components for Algebra Transformation Systems Orejas, Fernando
2003
82 7 p. 63-78
16 p.
artikel
5 Dynamic aspects of visual modelling languages Bottoni, Paolo
2003
82 7 p. 120-132
13 p.
artikel
6 Model-Based Verification and Validation of Properties Engels, Gregor
2003
82 7 p. 133-150
18 p.
artikel
7 Modeling Agent Systems with Distributed Transformation Units Kuske, Sabine
2003
82 7 p. 79-90
12 p.
artikel
8 Modeling Petri Net Based Systems by Net Transformations Urbášek, Milan
2003
82 7 p. 16-33
18 p.
artikel
9 Preface Bardohl, Roswitha
2003
82 7 p. 166-167
2 p.
artikel
10 Relating axiomatic and operational semantics of place/transition nets Desel, Jörg
2003
82 7 p. 46-62
17 p.
artikel
11 The Bidirectional Mapping Problem Kent, Stuart
2003
82 7 p. 151-165
15 p.
artikel
12 XML-based Specification of Diagram Editors Minas, Mark
2003
82 7 p. 105-119
15 p.
artikel
                             12 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland