Publications

Bound-preserving composition for Markov reward models

• • David Daly
  • Peter Buchholz
  • et al.
• 2006
• QEST 2006