@incollection{eprints2565,
          author = {Mirco Tribastone},
            note = {Quantitative Evaluation of Systems, held in Edinburgh (UK), 17-19 September 2007 },
       publisher = {IEEE},
       booktitle = {Proceedings of the 4th International Conference on the Quantitative Evaluation of Systems. QEST 2007},
           pages = {53--54},
           month = {September},
            year = {2007},
           title = {The PEPA Plug-in Project},
             url = {http://eprints.imtlucca.it/2565/},
        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.}
}