Investigating parametric influence on discrete synchronisation protocols using quantitative model checking

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Lecture Notes in Computer Science
DOIs	https://doi.org/10.1007/978-3-319-66335-7_14
Publication status	Published - 2017

Access to Document

@inproceedings{c5ae4fec6925441592d3ad697d52d37e,

title = "Investigating parametric influence on discrete synchronisation protocols using quantitative model checking",

author = "P. Gainer and Sven Linker and C. Dixon and U. Hustadt and M. Fisher",

year = "2017",

doi = "10.1007/978-3-319-66335-7\_14",

language = "English",

booktitle = "Lecture Notes in Computer Science",

}

TY - GEN

T1 - Investigating parametric influence on discrete synchronisation protocols using quantitative model checking

AU - Gainer, P.

AU - Linker, Sven

AU - Dixon, C.

AU - Hustadt, U.

AU - Fisher, M.

PY - 2017

Y1 - 2017

UR - https://www.scopus.com/pages/publications/85028676613

U2 - 10.1007/978-3-319-66335-7_14

DO - 10.1007/978-3-319-66335-7_14

M3 - Conference contribution

BT - Lecture Notes in Computer Science

ER -