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

Title A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization
Student Huybers, R.
Programme Master Computer Science
Year 2018-2019
Thesis Open Thesis PDF

Citation details

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