Lookup NU author(s): Dr Paolo Zuliani
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Henriques D, Martins JG, Zuliani P, Platzer A, Clarke EM
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 9th International Conference on Quantitative Evaluation of SysTems (QEST)
Year of Conference: 2012
Library holdings: Search Newcastle University Library for this item