U-Check: Model Checking and Parameter Synthesis Under Uncertainty. Bortolussi, L., Milios, D., & Sanguinetti, G. U-Check: Model Checking and Parameter Synthesis Under Uncertainty, pages 89-104. Springer International Publishing, 2015.
bibtex   
@inBook{
 title = {U-Check: Model Checking and Parameter Synthesis Under Uncertainty},
 type = {inBook},
 year = {2015},
 pages = {89-104},
 publisher = {Springer International Publishing},
 id = {651164c4-6185-3667-b8cc-5911b90e21ec},
 created = {2017-04-26T09:06:18.778Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:18.778Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {Bortolussi2015},
 source_type = {inbook},
 bibtype = {inBook},
 author = {Bortolussi, Luca and Milios, Dimitrios and Sanguinetti, Guido},
 book = {Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings}
}

Downloads: 0