Fulltext present in this item

Thumbnail
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   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)

Browse

Statistics