Toggle navigation
Radboud Repository
Toggle navigation
View Item
Radboud Repository
Collections Radboud University
Academic publications
View Item
Radboud Repository
Collections Radboud University
Academic publications
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics
Multiphase until formulas over Markov reward models: An algebraic approach
Publication year
2016
Author(s)
Xu, M.
Zhang, L.
Jansen, D.N.
Zhu, H.
Yang, Z
Source
Theoretical Computer Science, 611, (2016), pp. 116-135
ISSN
0304-3975
DOI
https://doi.org/10.1016/j.tcs.2015.07.047
Publication type
Article / Letter to editor
Please use this identifier to cite or link to this item:
https://hdl.handle.net/2066/155756
Display more details
Display less details
Organization
Software Science
Journal title
Theoretical Computer Science
Volume
vol. 611
Page start
p. 116
Page end
p. 135
Subject
Software Science
This item appears in the following Collection(s)
Academic publications
[202799]
Faculty of Science
[31860]
Upload full text
Use your RU credentials (u/z-number and password) to
log in with SURFconext
to upload a file for processing by the repository team.