ePrints

Model checking of a diabetes-cancer model

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): Gong H, Zuliani P, Clarke EM

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: International Symposium on Computational Models for Life Sciences (CMLS-11)

Year of Conference: 2011

Pages: 234-243

ISSN: 0094-243X

Publisher: AIP

URL: http://dx.doi.org/10.1063/1.3596647

DOI: 10.1063/1.3596647

Library holdings: Search Newcastle University Library for this item

Series Title: AIP Conference Proceedings

Series Editor(s): Pham, TD; Zhou, X; Tanaka, H; OyamaHiga, M; Jiang, X; Sun, C; Kowalski, J; Jia, X

Sponsor(s): IEEE Engn Med & Biol Soc (EMBS); IEEE Syst, Man & Cybernet Soc (SMCS); Chaos Technol Res Lab, Japan; Univ New S Wales, Canberra Campus; Topcon, Japan

ISBN: 9780735409316

Share