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