{"_id":"ThMnXqcKnhkejzPxN","bibbaseid":"madsen-shmarov-zuliani-biopsyansmtbasedtoolforguaranteedparametersetsynthesisofbiologicalmodels-2015","downloads":0,"creationDate":"2017-04-26T09:07:48.179Z","title":"BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models","author_short":["Madsen, C.","Shmarov, F.","Zuliani, P."],"year":2015,"bibtype":"inProceedings","biburl":null,"bibdata":{"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","bibtex":"@inProceedings{\n title = {BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models},\n type = {inProceedings},\n year = {2015},\n identifiers = {[object Object]},\n pages = {182-194},\n volume = {9308},\n publisher = {Springer},\n series = {LNCS},\n id = {3a5d68b3-af49-3f1a-8d4e-553d01b931bc},\n created = {2017-04-26T09:06:17.221Z},\n file_attached = {false},\n profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},\n group_id = {337127a6-4a46-3af3-a559-f76746200fef},\n last_modified = {2017-04-26T09:06:17.221Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {BioPsy},\n source_type = {inproceedings},\n bibtype = {inProceedings},\n author = {Madsen, Curtis and Shmarov, Fedor and Zuliani, Paolo},\n booktitle = {CMSB'15}\n}","author_short":["Madsen, C.","Shmarov, F.","Zuliani, P."],"bibbaseid":"madsen-shmarov-zuliani-biopsyansmtbasedtoolforguaranteedparametersetsynthesisofbiologicalmodels-2015","role":"author","urls":{},"downloads":0},"search_terms":["biopsy","smt","based","tool","guaranteed","parameter","set","synthesis","biological","models","madsen","shmarov","zuliani"],"keywords":[],"authorIDs":[]}