|
DSpace at RU >
University Library >
Academic bibliography >
| Title: | Abstraction, prices and probability in model checking timed automata |
| Author(s): | Berendsen, J.K. (296908274) |
| Publication year: | 2010 |
| Document type: | Dissertation |
| Publisher: | [S.l. : s.n.] |
| ISBN: | 9789088911934 |
| Number of pages: | 178 p. |
| Annotation: | Radboud Universiteit Nijmegen, 3 november 2010 |
| Subject: | Model Based System Development |
| Organization: | 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/84322
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
