BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models

  1. Lookup NU author(s)
  2. Dr Curtis Madsen
  3. Fedor Shmarov
  4. Dr Paolo Zuliani
Author(s)Madsen C, Shmarov F, Zuliani P
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference Name13th International Conference on Computational Methods in Systems Biology (CMSB)
Conference LocationNantes, France
Year of Conference2015
Source Publication Date
Volume9308
Pages182-194
Series TitleLecture Notes in Computer Science
ISBN9783319234007
Full text is available for this publication:
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-319-23401-4_16
DOI10.1007/978-3-319-23401-4_16
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item
Share