Parameter Synthesis by Parallel Coloured CTL Model Checking. Brim, L., Demko, M., Češka, M., Pastva, S., & Šafránek, D. In CMSB, of LNCS, 2015. bibtex @inProceedings{
title = {Parameter Synthesis by Parallel Coloured CTL Model Checking},
type = {inProceedings},
year = {2015},
series = {LNCS},
id = {e0da0d0f-c182-35de-ad86-212a00ffa0ee},
created = {2017-04-26T09:06:19.947Z},
file_attached = {false},
profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
group_id = {337127a6-4a46-3af3-a559-f76746200fef},
last_modified = {2017-04-26T09:06:19.947Z},
read = {false},
starred = {false},
authored = {false},
confirmed = {true},
hidden = {false},
citation_key = {BrimCMC},
source_type = {inproceedings},
notes = {To appear. Preprint to be find at \urlhttp://www.fi.muni.cz/~xsafran1/public_html/publications/CMSB2015/cmsb2015.pdf},
bibtype = {inProceedings},
author = {Brim, Lubos and Demko, Martin and Češka, Milan and Pastva, Samuel and Šafránek, David},
booktitle = {CMSB}
}
Downloads: 0
{"_id":"aqT5ZkkKvakazLXS2","bibbaseid":"brim-demko-eka-pastva-afrnek-parametersynthesisbyparallelcolouredctlmodelchecking-2015","downloads":0,"creationDate":"2017-04-26T09:07:48.251Z","title":"Parameter Synthesis by Parallel Coloured CTL Model Checking","author_short":["Brim, L.","Demko, M.","Češka, M.","Pastva, S.","Šafránek, D."],"year":2015,"bibtype":"inProceedings","biburl":null,"bibdata":{"title":"Parameter Synthesis by Parallel Coloured CTL Model Checking","type":"inProceedings","year":"2015","series":"LNCS","id":"e0da0d0f-c182-35de-ad86-212a00ffa0ee","created":"2017-04-26T09:06:19.947Z","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:19.947Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"BrimCMC","source_type":"inproceedings","notes":"To appear. Preprint to be find at \\urlhttp://www.fi.muni.cz/~xsafran1/public_html/publications/CMSB2015/cmsb2015.pdf","bibtype":"inProceedings","author":"Brim, Lubos and Demko, Martin and Češka, Milan and Pastva, Samuel and Šafránek, David","booktitle":"CMSB","bibtex":"@inProceedings{\n title = {Parameter Synthesis by Parallel Coloured CTL Model Checking},\n type = {inProceedings},\n year = {2015},\n series = {LNCS},\n id = {e0da0d0f-c182-35de-ad86-212a00ffa0ee},\n created = {2017-04-26T09:06:19.947Z},\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:19.947Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {BrimCMC},\n source_type = {inproceedings},\n notes = {To appear. Preprint to be find at \\urlhttp://www.fi.muni.cz/~xsafran1/public_html/publications/CMSB2015/cmsb2015.pdf},\n bibtype = {inProceedings},\n author = {Brim, Lubos and Demko, Martin and Češka, Milan and Pastva, Samuel and Šafránek, David},\n booktitle = {CMSB}\n}","author_short":["Brim, L.","Demko, M.","Češka, M.","Pastva, S.","Šafránek, D."],"bibbaseid":"brim-demko-eka-pastva-afrnek-parametersynthesisbyparallelcolouredctlmodelchecking-2015","role":"author","urls":{},"downloads":0},"search_terms":["parameter","synthesis","parallel","coloured","ctl","model","checking","brim","demko","češka","pastva","šafránek"],"keywords":[],"authorIDs":[]}