Fortuna: Model Checking Priced Probabilistic Timed Automata

Thumbnail
Fulltext:
75424.pdf
Size:
355.2Kb
Format:
PDF
Description:
author's version
Download
Publication year
2009
Author(s)
Berendsen, J.K.
Jansen, D.N.
Vaandrager, F.W.
Publisher
Nijmegen : Institute for Computing and Information Sciences, Radboud University Nijmegen
Series
Technical Report
Number of pages
38 p.
Related links
Publication type
External research report
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/75424   https://hdl.handle.net/2066/75424
Display more details

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.