TY  - GEN
AU  - Remke, Anne
AU  - Stoelinga, Marielle
TI  - Stochastic model checking : : rigorous dependability analysis using model checking techniques for stochastic systems 
SN  - 9783662454886
U1  - 003.76 
PY  - 2014///
CY  - Heidelberg
PB  - Springer
KW  - Stochastic models
KW  - Software engineering
KW  - Logic design
N1  - Including reference and index
ER  -