Master Computer Science



The following thesis was written by a student in the 2009 class of the Master Computer Science programme at Leiden University.


Thesis details

Title Constraint Automata with Synchronization Points
Student Michiel Pouw
Programme Master Computer Science
Year 2009

Citation details

Michiel Pouw , Constraint Automata with Synchronization Points, Thesis Master Computer Science, Leiden University, 2009.