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
StudentPouw , M. (Michiel)
ProgrammeMaster Computer Science
Year2009
SupervisorsArbab, prof.dr. F. (Farhad)
prof.dr. J. van den Broek (second supervisor)

Citation details

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