Publication
-
January 2007
-
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic In Proceedings
January 2007
-
De duisternis voorbij: Cryptologie, wiskunde van de schemering Inaugural Lecture
January 2007 -
Nieuwjaarskaart 2007 Other
January 2007 -
Thee Oor Ree Ties Ze Inf Or Ma Ti-ka: Deze Tijd heeft Behoefte aan Verificatie van Software Inaugural Lecture
January 2007 -
January 2007
-
The MediaMill TRECVID 2007 Semantic Video Search Engine In Proceedings
January 2007
-
The MediaMill Semantic Video Search Engine In Proceedings
January 2007