EEMCS EPrints Service
|
||||||||||||||||
|
Number of items: 1. 2008
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P.
(2008)
Reachability in continuous-time Markov reward decision processes.
In: Logic and Automata: History and Perspectives, 14-15 Dec 2007, Aachen, Germany.
pp. 53-71.
Texts in Logic and Games 2.
Amsterdam University Press.
ISBN 978-90-5356-576-6
This list was generated on Thu May 24 06:24:31 CEST 2012. |
||||||||||||||||