ePrints

FDR Explorer

Lookup NU author(s): Dr Leo Freitas

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Freitas L, Woodcock J

Publication type: Article

Publication status: Published

Journal: Formal Aspects of Computing

Year: 2009

Volume: 21

Issue: 1-2

Pages: 133-154

ISSN (print): 0934-5043

ISSN (electronic): 1433-299X

Publisher: Springer

URL: http://dx.doi.org/10.1007/s00165-008-0074-7

DOI: 10.1007/s00165-008-0074-7

Altmetrics

Share