BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models. Madsen, C.; Shmarov, F.; and Zuliani, P. In CMSB'15, volume 9308, of LNCS, pages 182-194, 2015. Springer.
bibtex   
@inProceedings{
 title = {BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models},
 type = {inProceedings},
 year = {2015},
 identifiers = {[object Object]},
 pages = {182-194},
 volume = {9308},
 publisher = {Springer},
 series = {LNCS},
 id = {3a5d68b3-af49-3f1a-8d4e-553d01b931bc},
 created = {2017-04-26T09:06:17.221Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:17.221Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {BioPsy},
 source_type = {inproceedings},
 bibtype = {inProceedings},
 author = {Madsen, Curtis and Shmarov, Fedor and Zuliani, Paolo},
 booktitle = {CMSB'15}
}
Downloads: 0