| 2002 |
|---|
| 5 | EE | André Engels,
Sjouke Mauw,
Michel A. Reniers:
A hierarchy of communication models for Message Sequence Charts.
Sci. Comput. Program. 44(3): 253-292 (2002) |
| 2000 |
|---|
| 4 | | André Engels:
Design Decisions on Data and Guards in MSC2000.
SAM 2000: 33-46 |
| 1999 |
|---|
| 3 | | André Engels,
Loe M. G. Feijs,
Sjouke Mauw:
MSC and data: dynamic variables.
SDL Forum 1999: 105- |
| 1997 |
|---|
| 2 | | André Engels,
Sjouke Mauw,
Michel A. Reniers:
A Hierarchy of Communication Models for Message Sequence Charts.
FORTE 1997: 75-90 |
| 1 | | André Engels,
Loe M. G. Feijs,
Sjouke Mauw:
Test Generation for Intelligent Networks Using Model Checking.
TACAS 1997: 384-398 |
