comp.doc.techreports
- AIB 2007-10: Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes, Peter Schneider-Kamp
- AIB 2007-15: Temporal assertions for sequential and current programs, Peter Schneider-Kamp
- AIB 2007-16: Adaptive Channel Assignment to Support QoS and Load Balancing for Wireless Mesh Networks, Peter Schneider-Kamp
