@incollection{eprints2565,
           title = {The PEPA Plug-in Project},
       publisher = {IEEE},
            year = {2007},
       booktitle = {Proceedings of the 4th International Conference on the Quantitative Evaluation of Systems. QEST 2007},
           pages = {53--54},
          author = {Mirco Tribastone},
            note = {Quantitative Evaluation of Systems, held in Edinburgh (UK), 17-19 September 2007 },
           month = {September},
        abstract = {We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, and stochastic simulation.},
             url = {http://eprints.imtlucca.it/2565/}
}