Abstraction, prices and probability in model checking timed automata
Fulltext:
84322.pdf
Size:
8.174Mb
Format:
PDF
Description:
Publisher’s version
Disclaimer:
In case you object to the disclosure of your thesis, you can contact
repository@ubn.ru.nl
Publication year
2010Author(s)
Publisher
S.l. : s.n.
ISBN
9789088911934
Number of pages
178 p.
Annotation
Radboud Universiteit Nijmegen, 03 november 2010
Promotor : Vaandrager, F.W.
Publication type
Dissertation

Display more detailsDisplay less details
Organization
Informatics for Technical Applications
Languages used
English (eng)
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [229196]
- Dissertations [13102]
- Electronic publications [111651]
- Faculty of Science [34286]
- Open Access publications [80450]
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.