%0 Book Section
%A Tribastone, Mirco
%B Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA)
%D 2009
%F eprints:2556
%I Informatics Forum - University of Edinburgh
%P 7-12
%T Differential analysis of PEPA models
%U http://eprints.imtlucca.it/2556/
%Z 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), held in Edinburgh, 26-27 August 2009