| |
| 2008 | ||
|---|---|---|
| 2 | EE | Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch: Model-based development of a course of action scheduling tool. STTT 10(1): 5-14 (2008) |
| 2007 | ||
| 1 | EE | Brice Mitchell, Lars Michael Kristensen, Lin Zhang: Formal specification and state space analysis of an operational planning process. STTT 9(3-4): 255-267 (2007) |
| 1 | Guy Edward Gallasch | [2] |
| 2 | Lars Michael Kristensen | [1] [2] |
| 3 | Peter Mechlenborg | [2] |
| 4 | Lin Zhang | [1] [2] |