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
{"_id":"9bRM3TmQa7MWLXmma","bibbaseid":"bortolussi-milios-sanguinetti-ucheckmodelcheckingandparametersynthesisunderuncertainty-2015","downloads":0,"creationDate":"2017-04-26T09:07:48.223Z","title":"U-Check: Model Checking and Parameter Synthesis Under Uncertainty","author_short":["Bortolussi, L.","Milios, D.","Sanguinetti, G."],"year":2015,"bibtype":"inBook","biburl":null,"bibdata":{"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","bibtex":"@inBook{\n title = {U-Check: Model Checking and Parameter Synthesis Under Uncertainty},\n type = {inBook},\n year = {2015},\n pages = {89-104},\n publisher = {Springer International Publishing},\n id = {651164c4-6185-3667-b8cc-5911b90e21ec},\n created = {2017-04-26T09:06:18.778Z},\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:18.778Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {Bortolussi2015},\n source_type = {inbook},\n bibtype = {inBook},\n author = {Bortolussi, Luca and Milios, Dimitrios and Sanguinetti, Guido},\n book = {Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings}\n}","author_short":["Bortolussi, L.","Milios, D.","Sanguinetti, G."],"bibbaseid":"bortolussi-milios-sanguinetti-ucheckmodelcheckingandparametersynthesisunderuncertainty-2015","role":"author","urls":{},"downloads":0},"search_terms":["check","model","checking","parameter","synthesis","under","uncertainty","bortolussi","milios","sanguinetti"],"keywords":[],"authorIDs":[]}