Persistent URL of this record https://hdl.handle.net/1887/16343
In Collections
This item can be found in the following collections:
An executable theory of multi-agent systems refinement
- All authors
- Aştefănoaei, L.
- Supervisor
- Boer, F.S. de; Meyer, J.J.
- Co-supervisor
- Dastani, M.
- Qualification
- Doctor (dr.)
- Awarding Institution
- Faculty of Science, Leiden University
- Date
- 2011-01-19
- Title of host publication
- IPA Dissertation Series
- ISBN (print)
- 9789064644504
Publication Series
- Name
- 2011-4
Juridical information
- Court
- LEI Universiteit Leiden