%0 Conference Paper %1 conf/qest/GainerLDHF17 %A Gainer, Paul %A Linker, Sven %A Dixon, Clare %A Hustadt, Ullrich %A Fisher, Michael %B QEST %D 2017 %E Bertrand, Nathalie %E Bortolussi, Luca %I Springer %K %P 224-239 %T Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. %U http://dblp.uni-trier.de/db/conf/qest/qest2017.html#GainerLDHF17 %V 10503 %@ 978-3-319-66335-7

@inproceedings{conf/qest/GainerLDHF17, added-at = {2023-12-13T04:13:47.000+0100}, author = {Gainer, Paul and Linker, Sven and Dixon, Clare and Hustadt, Ullrich and Fisher, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2c53c05517c80ac12e60c6c2afd80717d/admin}, booktitle = {QEST}, crossref = {conf/qest/2017}, editor = {Bertrand, Nathalie and Bortolussi, Luca}, ee = {https://doi.org/10.1007/978-3-319-66335-7_14}, interhash = {93660dc1945480e95d069eee0039c3dc}, intrahash = {c53c05517c80ac12e60c6c2afd80717d}, isbn = {978-3-319-66335-7}, keywords = {}, pages = {224-239}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:13:47.000+0100}, title = {Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2017.html#GainerLDHF17}, volume = 10503, year = 2017 }