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

TitleConstraint Automata with Synchronization Points
StudentMichiel Pouw
ProgrammeMaster Computer Science
Year2009

Citation details

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