Publication
-
January 2008
-
Pre-Galois Connection on Coalgebras for Generic Component Refinement Article
Electronic Notes in Theoretical Computer Science, 203-217.January 2008 -
Control of input-output discrete-event systems Tech Report
January 2008
-
January 2008
-
Met sprongen Inaugural Lecture
January 2008 -
Disk Book Chapter
January 2008
-
January 2008 -
Vertical systems biology: from DNA to flux and back Book Chapter
January 2008