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 |