@article{
 title = {On Parameter Synthesis by Parallel Model Checking},
 type = {article},
 year = {2012},
 identifiers = {[object Object]},
 pages = {693-705},
 volume = {9},
 publisher = {IEEE Computer Society},
 id = {0b4221f8-03ef-3395-a12e-42dcc8f5f4d4},
 created = {2017-04-26T09:06:15.804Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:15.804Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {TCBB},
 source_type = {article},
 bibtype = {article},
 author = {Barnat, J and Brim, L and Krejčí, A and Streck, A and Šafránek, D and Vejnár, M and Vejpustek, T},
 journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},
 number = {3}
}

{"_id":"XhqLap8sgLjEWjRpY","bibbaseid":"barnat-brim-krej-streck-afrnek-vejnr-vejpustek-onparametersynthesisbyparallelmodelchecking-2012","downloads":0,"creationDate":"2017-04-26T09:07:48.151Z","title":"On Parameter Synthesis by Parallel Model Checking","author_short":["Barnat, J.","Brim, L.","Krejčí, A.","Streck, A.","Šafránek, D.","Vejnár, M.","Vejpustek, T."],"year":2012,"bibtype":"article","biburl":null,"bibdata":{"title":"On Parameter Synthesis by Parallel Model Checking","type":"article","year":"2012","identifiers":"[object Object]","pages":"693-705","volume":"9","publisher":"IEEE Computer Society","id":"0b4221f8-03ef-3395-a12e-42dcc8f5f4d4","created":"2017-04-26T09:06:15.804Z","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:15.804Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"TCBB","source_type":"article","bibtype":"article","author":"Barnat, J and Brim, L and Krejčí, A and Streck, A and Šafránek, D and Vejnár, M and Vejpustek, T","journal":"IEEE/ACM Transactions on Computational Biology and Bioinformatics","number":"3","bibtex":"@article{\n title = {On Parameter Synthesis by Parallel Model Checking},\n type = {article},\n year = {2012},\n identifiers = {[object Object]},\n pages = {693-705},\n volume = {9},\n publisher = {IEEE Computer Society},\n id = {0b4221f8-03ef-3395-a12e-42dcc8f5f4d4},\n created = {2017-04-26T09:06:15.804Z},\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:15.804Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {TCBB},\n source_type = {article},\n bibtype = {article},\n author = {Barnat, J and Brim, L and Krejčí, A and Streck, A and Šafránek, D and Vejnár, M and Vejpustek, T},\n journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},\n number = {3}\n}","author_short":["Barnat, J.","Brim, L.","Krejčí, A.","Streck, A.","Šafránek, D.","Vejnár, M.","Vejpustek, T."],"bibbaseid":"barnat-brim-krej-streck-afrnek-vejnr-vejpustek-onparametersynthesisbyparallelmodelchecking-2012","role":"author","urls":{},"downloads":0},"search_terms":["parameter","synthesis","parallel","model","checking","barnat","brim","krejčí","streck","šafránek","vejnár","vejpustek"],"keywords":[],"authorIDs":[]}