Coalgebraic modelling: Applications in automata theory and modal logic

H.H. Hansen

    Research output: Thesis › Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

    3 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Coalgebraic modelling: Applications in automata theory and modal logic'. Together they form a unique fingerprint.

    Engineering & Materials Science