Browse by author
Lookup NU author(s): Dr Nisansala Yatapanage
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Lindsay PA, Yatapanage N, Winter K
Publication type: Article
Publication status: Published
Journal: Formal Aspects of Computing
Year: 2012
Volume: 24
Issue: 2
Pages: 249-266
Print publication date: 01/03/2012
ISSN (print): 0934-5043
ISSN (electronic): 1433-299X
Publisher: Springer-Verlag
URL: http://dx.doi.org/10.1007/s00165-011-0181-8
DOI: 10.1007/s00165-011-0181-8
Altmetrics provided by Altmetric