ePrints

State-rich model checking

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, Cavalcanti A

Publication type: Article

Publication status: Published

Journal: Innovations in Systems and Software Engineering

Year: 2006

Volume: 2

Issue: 1

Pages: 49-64

ISSN (print): 1614-5046

ISSN (electronic): 1614-5054

Publisher: Springer

URL: http://dx.doi.org/10.1007/s11334-006-0021-9

DOI: 10.1007/s11334-006-0021-9

Altmetrics

Share