Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. In Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pages 224–239, 2017. [S4]
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking [link]Paper  doi  bibtex   1 download  
@inproceedings{DBLP:conf/qest/GainerLDHF17,
  author    = {Paul Gainer and
               Sven Linker and
               Clare Dixon and
               Ullrich Hustadt and
               Michael Fisher},
  title     = {Investigating Parametric Influence on Discrete Synchronisation Protocols
               Using Quantitative Model Checking},
  booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
               {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
  pages     = {224--239},
  year      = {2017},
  crossref  = {DBLP:conf/qest/2017},
  url       = {https://doi.org/10.1007/978-3-319-66335-7\_14},
  doi       = {10.1007/978-3-319-66335-7\_14},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/qest/GainerLDHF17},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  note = {[<span class="s4">S4</span>]}
}

Downloads: 1