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
StudentMohammad Izadi
ProgrammePhD Computer Science
Year2011
More information Thesis information

Citation details

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