@incollection{eprints2556,
          author = {Mirco Tribastone},
            year = {2009},
           title = {Differential analysis of PEPA models},
       booktitle = {Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA)},
            note = {8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), held in Edinburgh, 26-27 August 2009},
       publisher = {Informatics Forum - University of Edinburgh},
           month = {August},
           pages = {7--12},
             url = {http://eprints.imtlucca.it/2556/}
}