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
SupervisorsLaarman, dr. A.W. (Alfons)
Wijshoff, prof.dr. H.A.G. (Harry)
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.