PhD Computer Science



The following thesis was written by a student in the 2011 class of the PhD Computer Science programme at Leiden University.


Thesis details

TitleAn Executable Theory of Multi-Agent Systems Refinement
StudentAştefănoaei, L. (Lăcrămioara)
ProgrammePhD Computer Science
Year2011
SupervisorsBoer, prof.dr. F.S. (Frank) de
prof.dr. J.J.Ch. Meyer, Utrecht (second supervisor)
dr. M. Dastani, Utrecht (third supervisor)
More information Thesis information

Citation details

Aştefănoaei, L. (Lăcrămioara), An Executable Theory of Multi-Agent Systems Refinement, Thesis PhD Computer Science, LIACS, Leiden University, 2011.