|
DSpace at RU >
University Library >
Academic bibliography >
Files in This Item:
| File |
Description |
Size | Format |
|---|
 | author's version | 355.25 kB | Adobe PDF | View/Open |
|
| Title: | Fortuna: Model Checking Priced Probabilistic Timed Automata |
| Author(s): | Berendsen, J.K. (296908274)
Jansen, D.N. (215676866)
Vaandrager, F.W. (07206806X) |
| Publication year: | 2009 |
| Document type: | External research report |
| Start page: | p. 1 |
| End page: | p. 38 |
| Publisher: | Nijmegen : Institute for Computing and Information Sciences, Radboud University Nijmegen |
| Number of pages: | 38 p. |
| Series: | Technical Report |
| Related link(s): | http://www.cs.ru.nl/J.Berendsen/fortuna/ |
| Subject: | Model Based System Development |
| Organization: | Model Based System Development
Informatics for Technical Applications |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/75424
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
