Parameter Scanning by Parallel Model Checking with Applications in Systems Biology. Barnat, J.; Brim, L.; Šafránek, D.; and Vejnár, M. In Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010). IEEE.
bibtex   
@inProceedings{
 title = {Parameter Scanning by Parallel Model Checking with Applications in Systems Biology},
 type = {inProceedings},
 publisher = {IEEE},
 id = {6462db7a-a8b7-3ced-a969-bdaa547dec59},
 created = {2017-04-26T09:06:21.582Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:21.582Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {HIBI10},
 source_type = {inproceedings},
 bibtype = {inProceedings},
 author = {Barnat, J and Brim, L and Šafránek, D and Vejnár, M},
 booktitle = {Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010)}
}
Downloads: 0