Publication
-
Divide and congruence: from decomposition of modalities to preservation of branching bisimulation In Proceedings
January 2006 -
Wiskunde is als zuurstof. Als het er is, merk je het niet. Als het er niet zou zijn, merk je dat je niet zonder kunt Book Chapter
January 2006 -
Sudoku van het NS-materieel Book Chapter
January 2006 -
Co-transformations in database applications evolution In Proceedings
January 2006 -
ASF+SDF Meta-Environment 2.0 Manual
January 2006 -
January 2006
-
The Gamut of Dynamic Logics Book Chapter
January 2006 -
De ideale routeplanner Article
Beta-krant, 10-11.January 2006