Radboud Repository
Radboud Repository
→
Collections Radboud University
→
Non RU Publications
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Fulltext present in this item
Fulltext:
35535.pdf
Format:
PDF
Description:
publisher's version
Title:
Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata
Author(s):
Berendsen, J.K.
;
Jansen, David
;
Katoen, J.P.
Publication year:
2006
Publisher:
Nijmegen : Institute for Computing and Information Sciences, Radboud Un
Number of Pages:
29 p.
Series:
Technical Report ; ICIS--R060
Publication type:
External research report
Please use this identifier to cite or link to this item :
https://hdl.handle.net/2066/35535
Display more details
Subject:
Informatics for Technical Applications
Organization:
Informatics for Technical Applications
This item appears in the following Collection(s)
Non RU Publications
[11758]
Search Repository
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