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. (Tobias)
ProgrammeMaster Computer Science
SupervisorsArbab, prof.dr. F. (Farhad)
Bonsangue, prof.dr. M.M. (Marcello)
Thesis Open Thesis PDF

Citation details

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