CASH: Compositional Analysis and Specification of Hybrid Systems

Duration: January 2011 until January 2011