@inBook{
 title = {Parameter Synthesis by Parallel Coloured CTL Model Checking},
 type = {inBook},
 year = {2015},
 identifiers = {[object Object]},
 pages = {251-263},
 volume = {9308},
 publisher = {Springer International Publishing},
 series = {Lecture Notes in Computer Science},
 editors = {[object Object],[object Object]},
 id = {12958fbb-df0b-3f1d-bc3c-b6a7b95a909e},
 created = {2017-04-26T09:06:20.268Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:20.268Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {Brim2015},
 source_type = {incollection},
 bibtype = {inBook},
 author = {Brim, Luboš and Češka, Milan and Demko, Martin and Pastva, Samuel and Šafránek, David},
 book = {Computational Methods in Systems Biology}
}

{"_id":"oGvDBPRM35ha4YS5p","bibbaseid":"brim-eka-demko-pastva-afrnek-parametersynthesisbyparallelcolouredctlmodelchecking-2015","downloads":0,"creationDate":"2017-04-26T09:07:48.260Z","title":"Parameter Synthesis by Parallel Coloured CTL Model Checking","author_short":["Brim, L.","Češka, M.","Demko, M.","Pastva, S.","Šafránek, D."],"year":2015,"bibtype":"inBook","biburl":null,"bibdata":{"title":"Parameter Synthesis by Parallel Coloured CTL Model Checking","type":"inBook","year":"2015","identifiers":"[object Object]","pages":"251-263","volume":"9308","publisher":"Springer International Publishing","series":"Lecture Notes in Computer Science","editors":"[object Object],[object Object]","id":"12958fbb-df0b-3f1d-bc3c-b6a7b95a909e","created":"2017-04-26T09:06:20.268Z","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:20.268Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"Brim2015","source_type":"incollection","bibtype":"inBook","author":"Brim, Luboš and Češka, Milan and Demko, Martin and Pastva, Samuel and Šafránek, David","book":"Computational Methods in Systems Biology","bibtex":"@inBook{\n title = {Parameter Synthesis by Parallel Coloured CTL Model Checking},\n type = {inBook},\n year = {2015},\n identifiers = {[object Object]},\n pages = {251-263},\n volume = {9308},\n publisher = {Springer International Publishing},\n series = {Lecture Notes in Computer Science},\n editors = {[object Object],[object Object]},\n id = {12958fbb-df0b-3f1d-bc3c-b6a7b95a909e},\n created = {2017-04-26T09:06:20.268Z},\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:20.268Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {Brim2015},\n source_type = {incollection},\n bibtype = {inBook},\n author = {Brim, Luboš and Češka, Milan and Demko, Martin and Pastva, Samuel and Šafránek, David},\n book = {Computational Methods in Systems Biology}\n}","author_short":["Brim, L.","Češka, M.","Demko, M.","Pastva, S.","Šafránek, D."],"bibbaseid":"brim-eka-demko-pastva-afrnek-parametersynthesisbyparallelcolouredctlmodelchecking-2015","role":"author","urls":{},"downloads":0},"search_terms":["parameter","synthesis","parallel","coloured","ctl","model","checking","brim","češka","demko","pastva","šafránek"],"keywords":[],"authorIDs":[]}