%P 7-12 %T Differential analysis of PEPA models %I Informatics Forum - University of Edinburgh %O 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), held in Edinburgh, 26-27 August 2009 %B Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA) %D 2009 %L eprints2556 %A Mirco Tribastone