AiSHA: Abstraction in Stochastic and Hybrid process Algebra

Duration: January 2011 until January 2011