 | 2009 |
|---|
| 4 |       | Didier Buchs,
Levi Lucio,
Ang Chen:
Model Checking Techniques for Test Generation from Business Process Models.
Ada-Europe 2009: 59-74 |
| 2006 |
|---|
| 3 | | Ang Chen,
Didier Buchs:
Generative Business Process Prototyping Framework.
IEEE International Workshop on Rapid System Prototyping 2006: 140-148 |
| 2005 |
|---|
| 2 | | Ang Chen,
Didier Buchs:
Towards Service-Based Business Process Modeling, Prototyping and Integration.
RISE 2005: 218-233 |
| 2003 |
|---|
| 1 | | Ali Al-Shabibi,
Didier Buchs,
Mathieu Buffo,
Stanislav Chachkov,
Ang Chen,
David Hurzeler:
Prototyping Object Oriented Specifications.
ICATPN 2003: 473-482 |
