@article{
 title = {Parameter Synthesis by Parallel Coloured CTL Model Checking},
 type = {article},
 identifiers = {[object Object]},
 id = {16a25e9b-6320-3c11-b8d2-2af506b6b61d},
 created = {2017-04-26T09:06:18.844Z},
 accessed = {2016-05-29},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:18.844Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 bibtype = {article},
 author = {Brim, Luboš and Ceška, Milaň and Demko, Martin and Pastva, Samuel and Safránek, Davi}
}

{"_id":"47RbBGBuveA9Jos6W","bibbaseid":"brim-ceka-demko-pastva-safrnek-parametersynthesisbyparallelcolouredctlmodelchecking","downloads":0,"creationDate":"2017-04-26T09:07:48.225Z","title":"Parameter Synthesis by Parallel Coloured CTL Model Checking","author_short":["Brim, L.","Ceška, M.","Demko, M.","Pastva, S.","Safránek, D."],"year":null,"bibtype":"article","biburl":null,"bibdata":{"title":"Parameter Synthesis by Parallel Coloured CTL Model Checking","type":"article","identifiers":"[object Object]","id":"16a25e9b-6320-3c11-b8d2-2af506b6b61d","created":"2017-04-26T09:06:18.844Z","accessed":"2016-05-29","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:18.844Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"bibtype":"article","author":"Brim, Luboš and Ceška, Milaň and Demko, Martin and Pastva, Samuel and Safránek, Davi","bibtex":"@article{\n title = {Parameter Synthesis by Parallel Coloured CTL Model Checking},\n type = {article},\n identifiers = {[object Object]},\n id = {16a25e9b-6320-3c11-b8d2-2af506b6b61d},\n created = {2017-04-26T09:06:18.844Z},\n accessed = {2016-05-29},\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:18.844Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n bibtype = {article},\n author = {Brim, Luboš and Ceška, Milaň and Demko, Martin and Pastva, Samuel and Safránek, Davi}\n}","author_short":["Brim, L.","Ceška, M.","Demko, M.","Pastva, S.","Safránek, D."],"bibbaseid":"brim-ceka-demko-pastva-safrnek-parametersynthesisbyparallelcolouredctlmodelchecking","role":"author","urls":{},"downloads":0},"search_terms":["parameter","synthesis","parallel","coloured","ctl","model","checking","brim","ceška","demko","pastva","safránek"],"keywords":[],"authorIDs":[]}