APA (7th ed.) Citation

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 Style (17th ed.) Citation

SpringerLink (Online service), Anne Remke, and 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 ed.) Citation

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.