Compositional Modelling and Analysis of Quantitative Systems Workshop 2012 Share This PageCompositional Modelling and Analysis of Quantitative Systems Workshop 2012
All day Theoretical Computer Science Education (TCSEd) in Scotland: Current Practices and Future Directions University of Strathclyde