TY  - CHAP
SP  - 53
A1  - Tribastone, Mirco
PB  - IEEE
T2  - Proceedings of the 4th International Conference on the Quantitative Evaluation of Systems. QEST 2007
TI  - The PEPA Plug-in Project
N1  - Quantitative Evaluation of Systems, held in Edinburgh (UK), 17-19 September 2007 
UR  - http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4338237&isnumber=4338222
Y1  - 2007/09//
EP  - 54
AV  - none
N2  - 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.
SN  - 978-0-7695-2883-0 
ID  - eprints2565
ER  -