Lookup NU author(s): Dr Paolo Zuliani
This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer, 2010.
For re-use rights please refer to the publisher's terms and conditions.
Author(s): Younes HLS, Clarke EM, Zuliani P
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: SBMF 2010: 13th Brazilian Symposium on Formal Methods
Year of Conference: 2010
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science