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
StudentLăcrămioara Aştefănoaei
ProgrammePhD Computer Science
Year2011
More information Thesis information

Citation details

Lăcrămioara Aştefănoaei, An executable theory of multi-agent systems refinement, Thesis PhD Computer Science, LIACS, Leiden University, 2011.