Agent Interaction: Abstract Approaches to Modelling Programming and Verifying Multi-Agent Systems

W. de Vries

Research output: Thesis › Doctoral thesis 1 (Research UU / Graduation UU)

Original language	Undefined/Unknown
Qualification	Doctor of Philosophy
Awarding Institution	Utrecht University
Supervisors/Advisors	de Boer, Dick, Co-supervisor Meyer, J-J.Ch., Supervisor, External person Treur, J., Co-supervisor, External person van der Hoek, W., Supervisor, External person Jonker, C.M., Supervisor, External person
Award date	11 Nov 2002
Place of Publication	Utrecht, the Netherlands
Publisher	Universiteit Utrecht
Publication status	Published - 11 Nov 2002

Cite this

@phdthesis{5878541eb29f4812aee9afb0191f1d93,

title = "Agent Interaction: Abstract Approaches to Modelling Programming and Verifying Multi-Agent Systems",

author = "{de Vries}, W.",

year = "2002",

month = nov,

day = "11",

language = "Undefined/Unknown",

publisher = "Universiteit Utrecht",

type = "Doctoral thesis 1 (Research UU / Graduation UU)",

school = "Utrecht University",

}