| 2003 |
|---|
| 6 | EE | Axel Wabenhorst:
Stepwise development of fair distributed systems.
Acta Inf. 39(4): 233-271 (2003) |
| 5 | EE | Axel Wabenhorst:
Induction in the Timed Interval Calculus.
Theor. Comput. Sci. 300(1-3): 181-207 (2003) |
| 1998 |
|---|
| 4 | EE | Colin J. Fidge,
Ian J. Hayes,
A. P. Martin,
Axel Wabenhorst:
A Set-Theoretic Model for Real-Time Specification and Reasoning.
MPC 1998: 188-206 |
| 3 | | Axel Wabenhorst:
A model of real-time distributed systems.
PROCOMET 1998: 462-482 |
| 1997 |
|---|
| 2 | EE | Axel Wabenhorst,
John Potter:
Modelling Multi-Threading in Java.
TOOLS (25) 1997: 153-164 |
| 1996 |
|---|
| 1 | | Axel Wabenhorst:
On Fairness in Terminating and Reactive Programs.
MFCS 1996: 554-565 |
