Parameter Synthesis for Polynomial Biological Models. Dreossi, T. & Dang, T. In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, of HSCC '14, pages 233-242, 2014. bibtex @inProceedings{
title = {Parameter Synthesis for Polynomial Biological Models},
type = {inProceedings},
year = {2014},
keywords = {parameter synthesis,system biology,verification},
pages = {233-242},
series = {HSCC '14},
id = {21fef6f6-0b33-3c95-8367-e427551b4282},
created = {2017-04-26T09:06:17.703Z},
file_attached = {false},
profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
group_id = {337127a6-4a46-3af3-a559-f76746200fef},
last_modified = {2017-04-26T09:06:17.703Z},
read = {false},
starred = {false},
authored = {false},
confirmed = {true},
hidden = {false},
citation_key = {Dreossi14},
source_type = {inproceedings},
bibtype = {inProceedings},
author = {Dreossi, Tommaso and Dang, Thao},
booktitle = {Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control}
}
Downloads: 0
{"_id":"kSXYv2JcLiPNM2P3y","bibbaseid":"dreossi-dang-parametersynthesisforpolynomialbiologicalmodels-2014","downloads":0,"creationDate":"2017-04-26T09:07:48.192Z","title":"Parameter Synthesis for Polynomial Biological Models","author_short":["Dreossi, T.","Dang, T."],"year":2014,"bibtype":"inProceedings","biburl":null,"bibdata":{"title":"Parameter Synthesis for Polynomial Biological Models","type":"inProceedings","year":"2014","keywords":"parameter synthesis,system biology,verification","pages":"233-242","series":"HSCC '14","id":"21fef6f6-0b33-3c95-8367-e427551b4282","created":"2017-04-26T09:06:17.703Z","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:17.703Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"Dreossi14","source_type":"inproceedings","bibtype":"inProceedings","author":"Dreossi, Tommaso and Dang, Thao","booktitle":"Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control","bibtex":"@inProceedings{\n title = {Parameter Synthesis for Polynomial Biological Models},\n type = {inProceedings},\n year = {2014},\n keywords = {parameter synthesis,system biology,verification},\n pages = {233-242},\n series = {HSCC '14},\n id = {21fef6f6-0b33-3c95-8367-e427551b4282},\n created = {2017-04-26T09:06:17.703Z},\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.703Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {Dreossi14},\n source_type = {inproceedings},\n bibtype = {inProceedings},\n author = {Dreossi, Tommaso and Dang, Thao},\n booktitle = {Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control}\n}","author_short":["Dreossi, T.","Dang, T."],"bibbaseid":"dreossi-dang-parametersynthesisforpolynomialbiologicalmodels-2014","role":"author","urls":{},"keyword":["parameter synthesis","system biology","verification"],"downloads":0},"search_terms":["parameter","synthesis","polynomial","biological","models","dreossi","dang"],"keywords":["parameter synthesis","system biology","verification"],"authorIDs":[]}