AuthorProfile for André Engels

Design Decisions on Data and Guards in MSC2000.
  André Engels
MSC and data: dynamic variables.
  André Engels   Loe M. G. Feijs   Sjouke Mauw
A hierarchy of communication models for Message Sequence Charts
  A. Engels
Test Generation for Intelligent Networks Using Model Checking.
  André Engels   Loe M. G. Feijs   Sjouke Mauw
A hierarchy of communication models for Message Sequence Charts.
  André Engels   Sjouke Mauw   Michel A. Reniers
A Hierarchy of Communication Models for Message Sequence Charts.
  André Engels   Sjouke Mauw   Michel A. Reniers