{"_id":"5rraAacHYnSdvmfXC","bibbaseid":"anonymous-investigatingparametricinfluenceondiscretesynchronisationprotocolsusingquantitativemodelchecking","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Paul"],"propositions":[],"lastnames":["Gainer"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"title":"Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking","editor":[{"firstnames":["Nathalie"],"propositions":[],"lastnames":["Bertrand"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Bortolussi"],"suffixes":[]}],"booktitle":"Proceedings of the 14th International Conference on Quantitative Evaluation of Systems (QEST 2017)","caddress":"Berlin, Germany], cmonth = sep #  5-7, cyear = 2017, series = Lecture Notes in Computer Science, volume = 10503, publisher = Springer, year = 2017, pages = 224–239, url = https://doi.org/10.1007/978-3-319-66335-7_14, doi = 10.1007/978-3-319-66335-7_14, ","key":"Gainer+Linker+Dixon+Hustadt+Fisher@QEST2017","id":"Gainer+Linker+Dixon+Hustadt+Fisher@QEST2017","bibbaseid":"anonymous-investigatingparametricinfluenceondiscretesynchronisationprotocolsusingquantitativemodelchecking","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["investigating","parametric","influence","discrete","synchronisation","protocols","using","quantitative","model","checking"],"title":"Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking","year":null}