RecordNumber
1656
Author
Christel Baier, Boudewijn Haverkort, Holger Hermanns, and Joost-Pieter Katoen
Title of Article
Ecient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
URL
,/DL/Data Entry/DataEntryForm/EnterDocInfo.aspx