Parameter Synthesis by Parallel Coloured CTL Model Checking. Brim, L.; Ceška, M.; Demko, M.; Pastva, S.; and Safránek, D.
bibtex   
@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}
}
Downloads: 0