Publication
-
September 2008 -
September 2008
-
Is timed branching bisimilarity a congruence indeed? Article
Fundamenta Informaticae, 87(3/4), 287-311.September 2008 -
Stochastic facility location with general long-run costs and convex short-run costs Article
Computers & Operations Research, 35(9), 2988-3000.September 2008
-
Overview of the wikipediaMM task at ImageCLEF 2008 In Proceedings
September 2008
-
CWI at ImageCLEF 2008 In Proceedings
September 2008
-
Mechanical verification of a two-way sliding window protocol In Proceedings
September 2008 -
September 2008