Toggle Main Menu Toggle Search

ePrints

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

Lookup NU author(s): Dr Curtis Madsen, Dr Fedor Shmarov, Dr Paolo Zuliani

Downloads


Licence

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).


Publication metadata

Author(s): Madsen C, Shmarov F, Zuliani P

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 13th International Conference on Computational Methods in Systems Biology (CMSB)

Year of Conference: 2015

Pages: 182-194

Print publication date: 14/09/2015

Online publication date: 02/09/2015

Acceptance date: 12/06/2015

ISSN: 0302-9743

Publisher: Springer

URL: http://dx.doi.org/10.1007/978-3-319-23401-4_16

DOI: 10.1007/978-3-319-23401-4_16

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319234007


Actions

Link to this publication


Share