|
Search the dblp DataBase
Axel Wabenhorst:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Axel Wabenhorst
On Fairness in Terminating and Reactive Programs. [Citation Graph (0, 0)][DBLP] MFCS, 1996, pp:554-565 [Conf]
- Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel Wabenhorst
A Set-Theoretic Model for Real-Time Specification and Reasoning. [Citation Graph (0, 0)][DBLP] MPC, 1998, pp:188-206 [Conf]
- Axel Wabenhorst
A model of real-time distributed systems. [Citation Graph (0, 0)][DBLP] PROCOMET, 1998, pp:462-482 [Conf]
- Axel Wabenhorst, John Potter
Modelling Multi-Threading in Java. [Citation Graph (0, 0)][DBLP] TOOLS (25), 1997, pp:153-164 [Conf]
- Axel Wabenhorst
Stepwise development of fair distributed systems. [Citation Graph (0, 0)][DBLP] Acta Inf., 2003, v:39, n:4, pp:233-271 [Journal]
- Axel Wabenhorst
Induction in the Timed Interval Calculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:300, n:1-3, pp:181-207 [Journal]
Search in 0.001secs, Finished in 0.001secs
|