ePrints

Statistical model checking for biological applications

Lookup NU author(s): Dr Paolo Zuliani

Downloads

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

Publication metadata

Author(s): Zuliani P

Publication type: Article

Publication status: Published

Journal: International Journal on Software Tools for Technology Transfer

Year: 2015

Volume: 17

Issue: 4

Pages: 527-536

Print publication date: 01/08/2015

Online publication date: 10/08/2014

Acceptance date: 30/07/2014

ISSN (print): 1433-2779

ISSN (electronic): 1433-2787

Publisher: Springer

URL: http://dx.doi.org/10.1007/s10009-014-0343-0

DOI: 10.1007/s10009-014-0343-0

Altmetrics

Share