Persistent URL of this record https://hdl.handle.net/1887/18189
Documents
-
- Download
- Title page_Contents_List of figures
- open access
-
- Download
- Chapter 1 Introduction
- open access
-
- Download
- Chapter 9 Conculsion and future work
- open access
-
- Download
- Bibliography
- open access
-
- Download
- Summary in Dutch
- open access
-
- Download
- Curriculum Vitae
- open access
-
- Download
- Titles in the IPA Dissertation Series
- open access
-
- Download
- Propositions
- open access
In Collections
This item can be found in the following collections:
Model checking of component connectors
- All authors
- Izadi, M.
- Supervisor
- Arbab, F.; Movaghar, A.
- Co-supervisor
- Bonsangue, M.M.
- Qualification
- Doctor (dr.)
- Awarding Institution
- Faculty of Science , Leiden University
- Date
- 2011-11-06
- Title of host publication
- IPA Dissertation Series
Publication Series
- Name
- 2011-22