| |
| * | 2007 | |
|---|---|---|
| 2 | Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers: Transformation of BPMN Models for Behaviour Analysis. MSVVEIS 2007: 126-137 | |
| 1 | EE | Ivo Raedts, Marija Petkovic, Alexander Serebrenik, Jan Martijn E. M. van der Werf, Lou J. Somers, Maarten Boote: A software framework for automated verification. SAC 2007: 1031-1032 |
| 1 | Maarten Boote | [1] |
| 2 | Jan Friso Groote | [2] |
| 3 | Marija Petkovic | [1] [2] |
| 4 | Alexander Serebrenik | [1] |
| 5 | Lou J. Somers | [1] [2] |
| 6 | Yaroslav S. Usenko | [2] |
| 7 | Jan Martijn E. M. van der Werf | [1] [2] |