EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


1431 Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
 Home Policy Brochure Browse Search User Area Contact Help

Baier, C. and Hermanns, H. and Katoen, J.P. and Haverkort, B.R.H.M. (2005) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical computer science, 345 (1). pp. 2-26. ISSN 0304-3975 *** ISI Impact 0,838 ***

Full text available as:

PDF
 - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
282 Kb

Official URL: http://dx.doi.org/10.1016/j.tcs.2005.07.022

Exported to Metis
Item Type:Article
Research Group:EWI-FMT: Formal Methods and Tools, EWI-DACS: Design and Analysis of Communication Systems
Research Program:CTIT-UBRICKS: Building Blocks for Ubiquitous Computing and Communication
Research Project:Voss-2: Validation of Stochastic Systems II, QUPES: Verifying Quantitative Properties of Embedded Software
ID Code:1431
Status:Published
Deposited On:15 February 2006
Refereed:Yes
International:Yes
ISI Impact Factor:0,838
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item