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

Citation details

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