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 [202914]
- Dissertations [12257]
- Electronic publications [101090]
- Faculty of Science [31885]
- Open Access publications [69750]
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.