Publication
-
January 2012
-
January 2012
-
Automated Verification of Recursive Programs with Pointers In Proceedings
January 2012 -
January 2012
-
Optimal job splitting in parallel processor sharing queues Article
Stochastic ModelsJanuary 2012 -
January 2012
-
January 2012
-
January 2012