Master Computer Science



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


Thesis details

TitleLogic for Soft Component Automata
StudentKappé, T.W.J.
ProgrammeMaster Computer Science
Year2015-2016
Thesis Open Thesis PDF

Citation details

Kappé, T.W.J., Logic for Soft Component Automata, Thesis Master Computer Science, LIACS, Leiden University, 2016.