Publication
-
Hoeveel wegen eentjes en nulletjes? Beantwoorden van de kettingvraag in Hoe?Zo! Radio, 12.01.2012 [6:07] News Broadcast
January 2012
-
A modal logic for abstract delta modeling. In Proceedings
January 2012 -
Automated Verification of Executable UML Models In Proceedings
January 2012 -
A high order density model for streamer discharges In Proceedings
January 2012
-
January 2012
-
January 2012
-
Decidability Problems for Actor Systems. In Proceedings
January 2012 -
Convective tissue movements play a major role in avian endocardial morphogenesis Article
Developmental BiologyJanuary 2012