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

TitleModel Checking of Component Connectors
StudentIzadi, M. (Mohammad)
ProgrammePhD Computer Science
SupervisorsArbab, prof.dr. F. (Farhad)
prof.dr. A. Movaghar, Tehran (promotor)
Bonsangue, prof.dr. M.M. (Marcello)
More information Thesis information

Citation details

Izadi, M. (Mohammad), Model Checking of Component Connectors, Thesis PhD Computer Science, LIACS, Leiden University, 2011.