SYRUP: SYmbolic RedUction of Probabilistic Models

Duration: January 2011 until January 2011