| |
| 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 | |
| 1 | Loe M. G. Feijs | [1] [3] |
| 2 | Sjouke Mauw | [1] [2] [3] [5] |
| 3 | Michel A. Reniers | [2] [5] |