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

Title Model Checking of Component Connectors
Student Mohammad Izadi
Programme PhD Computer Science
Year 2011
More information Thesis information

Citation details

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