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): Zuliani P, Platzer A, Clarke EM
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: HSCC 2010: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control
Year of Conference: 2010
Library holdings: Search Newcastle University Library for this item