Publication
-
November 2008
-
ASF+SDF Meta-Environment 2.0.3 Software
November 2008 -
A lace-expansion analysis of random spatial models Dissertation
November 2008 -
Domain specific modeling and analysis Dissertation
Formal MethodsNovember 2008
-
Rare-event simulation for tandem queues: a simple and efficient importance sampling scheme Tech Report
December 2008
-
Dynamische Optimalisatie van Patiëntenplanning Book Chapter
December 2008 -
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems In Proceedings
December 2008
-
Ambulant Player - 2.0 Manual
December 2008