| |
| 2003 | ||
|---|---|---|
| 1 | EE | Juan Carlos Augusto, Y. Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel: Model-Based Approaches for Validating Business Critical Systems. STEP 2003: 225-233 |
| 1 | Juan Carlos Augusto | [1] |
| 2 | Carla Ferreira | [1] |
| 3 | Andrew M. Gravell | [1] |
| 4 | Stefan Gruner | [1] |
| 5 | Michael Leuschel | [1] |