tr-announce August 2007

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 3 discussions

2007-10: Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
by Peter Schneider-Kamp
16 years, 8 months

2007-15: Temporal assertions for sequential and current programs
by Peter Schneider-Kamp
16 years, 9 months

2007-16: Adaptive Channel Assignment to Support QoS and Load Balancing for Wireless Mesh Networks
by Peter Schneider-Kamp
16 years, 9 months
Results per page: