@article{journals/tcbb/BarnatBKSSVV12,
  author = {Barnat, Jiri and Brim, Lubos and Krejci, Adam and Streck, Adam and Safránek, David and Vejnar, Martin and Vejpustek, Tomas},
  ee = {http://doi.ieeecomputersociety.org/10.1109/TCBB.2011.110},
  interhash = {c2a52da1f1b445aea381ce9d6b49e63e},
  intrahash = {9c8c57bcac161bbe64415a061ad0020b},
  journal = {IEEE/ACM Trans. Comput. Biology Bioinform.},
  number = 3,
  pages = {693-705},
  title = {On Parameter Synthesis by Parallel Model Checking.},
  url = {http://dblp.uni-trier.de/db/journals/tcbb/tcbb9.html#BarnatBKSSVV12},
  volume = 9,
  year = 2012
}

{"_id":"PHDhJzbHQywxvm5pE","bibbaseid":"barnat-brim-krejci-streck-safrnek-vejnar-vejpustek-onparametersynthesisbyparallelmodelchecking-2012","downloads":0,"creationDate":"2017-04-26T09:41:24.020Z","title":"On Parameter Synthesis by Parallel Model Checking.","author_short":["Barnat, J.","Brim, L.","Krejci, A.","Streck, A.","Safránek, D.","Vejnar, M.","Vejpustek, T."],"year":2012,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Lubos Brim?items=1000","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Barnat"],"firstnames":["Jiri"],"suffixes":[]},{"propositions":[],"lastnames":["Brim"],"firstnames":["Lubos"],"suffixes":[]},{"propositions":[],"lastnames":["Krejci"],"firstnames":["Adam"],"suffixes":[]},{"propositions":[],"lastnames":["Streck"],"firstnames":["Adam"],"suffixes":[]},{"propositions":[],"lastnames":["Safránek"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Vejnar"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Vejpustek"],"firstnames":["Tomas"],"suffixes":[]}],"ee":"http://doi.ieeecomputersociety.org/10.1109/TCBB.2011.110","interhash":"c2a52da1f1b445aea381ce9d6b49e63e","intrahash":"9c8c57bcac161bbe64415a061ad0020b","journal":"IEEE/ACM Trans. Comput. Biology Bioinform.","number":"3","pages":"693-705","title":"On Parameter Synthesis by Parallel Model Checking.","url":"http://dblp.uni-trier.de/db/journals/tcbb/tcbb9.html#BarnatBKSSVV12","volume":"9","year":"2012","bibtex":"@article{journals/tcbb/BarnatBKSSVV12,\n author = {Barnat, Jiri and Brim, Lubos and Krejci, Adam and Streck, Adam and Safránek, David and Vejnar, Martin and Vejpustek, Tomas},\n ee = {http://doi.ieeecomputersociety.org/10.1109/TCBB.2011.110},\n interhash = {c2a52da1f1b445aea381ce9d6b49e63e},\n intrahash = {9c8c57bcac161bbe64415a061ad0020b},\n journal = {IEEE/ACM Trans. Comput. Biology Bioinform.},\n number = 3,\n pages = {693-705},\n title = {On Parameter Synthesis by Parallel Model Checking.},\n url = {http://dblp.uni-trier.de/db/journals/tcbb/tcbb9.html#BarnatBKSSVV12},\n volume = 9,\n year = 2012\n}\n\n","author_short":["Barnat, J.","Brim, L.","Krejci, A.","Streck, A.","Safránek, D.","Vejnar, M.","Vejpustek, T."],"key":"journals/tcbb/BarnatBKSSVV12","id":"journals/tcbb/BarnatBKSSVV12","bibbaseid":"barnat-brim-krejci-streck-safrnek-vejnar-vejpustek-onparametersynthesisbyparallelmodelchecking-2012","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/TCBB.2011.110","Paper":"http://dblp.uni-trier.de/db/journals/tcbb/tcbb9.html#BarnatBKSSVV12"},"downloads":0},"search_terms":["parameter","synthesis","parallel","model","checking","barnat","brim","krejci","streck","safránek","vejnar","vejpustek"],"keywords":[],"authorIDs":[],"dataSources":["p3eYfeCrFbWKtvZc8"]}