Browse by author
Lookup NU author(s): Andre Ribeiro Didier
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Didier A, Mota A
Editor(s): Gheyi, R., Naumann, D.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Formal Methods: Foundations and Applications (15th Brazilian Symposium, SBMF)
Year of Conference: 2012
Pages: 115-130
ISSN: 0302-9743
Publisher: Springer Berlin / Heidelberg
URL: http://dx.doi.org/10.1007/978-3-642-33296-8_10
DOI: 10.1007/978-3-642-33296-8_10
Notes: Online ISBN: 9783642332968 Online ISSN: 1611-3349
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783642332951
