A hybrid view of PEPA [poster]
V. Galpin, L. Bortolussi, J. Hillston and M. Tribastone
Models and Logics for Quantitative Analysis (MLQA 2011)
, Aachen, 5 September 2011
Poster - PDF
Back to Publications page