SpringerLink (Online service), Remke, A., & Stoelinga, M. (2014). Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures. Springer Berlin Heidelberg : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Anne Remke, και Mariëlle Stoelinga. Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2014.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures. Springer Berlin Heidelberg : Imprint: Springer, 2014.
