@inProceedings{
 title = {Parameter Scanning by Parallel Model Checking with Applications in Systems Biology},
 type = {inProceedings},
 publisher = {IEEE},
 id = {6462db7a-a8b7-3ced-a969-bdaa547dec59},
 created = {2017-04-26T09:06:21.582Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:21.582Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {HIBI10},
 source_type = {inproceedings},
 bibtype = {inProceedings},
 author = {Barnat, J and Brim, L and Šafránek, D and Vejnár, M},
 booktitle = {Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010)}
}

{"_id":"mmEDSuM9JQXiayB5A","bibbaseid":"barnat-brim-afrnek-vejnr-parameterscanningbyparallelmodelcheckingwithapplicationsinsystemsbiology","downloads":0,"creationDate":"2017-04-26T09:07:48.302Z","title":"Parameter Scanning by Parallel Model Checking with Applications in Systems Biology","author_short":["Barnat, J.","Brim, L.","Šafránek, D.","Vejnár, M."],"year":null,"bibtype":"inProceedings","biburl":null,"bibdata":{"title":"Parameter Scanning by Parallel Model Checking with Applications in Systems Biology","type":"inProceedings","publisher":"IEEE","id":"6462db7a-a8b7-3ced-a969-bdaa547dec59","created":"2017-04-26T09:06:21.582Z","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:21.582Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"HIBI10","source_type":"inproceedings","bibtype":"inProceedings","author":"Barnat, J and Brim, L and Šafránek, D and Vejnár, M","booktitle":"Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010)","bibtex":"@inProceedings{\n title = {Parameter Scanning by Parallel Model Checking with Applications in Systems Biology},\n type = {inProceedings},\n publisher = {IEEE},\n id = {6462db7a-a8b7-3ced-a969-bdaa547dec59},\n created = {2017-04-26T09:06:21.582Z},\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:21.582Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {HIBI10},\n source_type = {inproceedings},\n bibtype = {inProceedings},\n author = {Barnat, J and Brim, L and Šafránek, D and Vejnár, M},\n booktitle = {Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010)}\n}","author_short":["Barnat, J.","Brim, L.","Šafránek, D.","Vejnár, M."],"bibbaseid":"barnat-brim-afrnek-vejnr-parameterscanningbyparallelmodelcheckingwithapplicationsinsystemsbiology","role":"author","urls":{},"downloads":0},"search_terms":["parameter","scanning","parallel","model","checking","applications","systems","biology","barnat","brim","šafránek","vejnár"],"keywords":[],"authorIDs":[]}