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