Master Computer Science



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


Thesis details

TitleA Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization
StudentHuybers, Richard
ProgrammeMaster Computer Science
Year2018-2019
Supervisorsdr. A.W. Laarman (first supervisor)
prof.dr. H.A.G. Wijshoff (second supervisor)
Thesis Open Thesis PDF

Citation details

Huybers, Richard, A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization, Thesis Master Computer Science, LIACS, Leiden University, 2019.