Tohutoro APA (7th ed.)
Autumn School on Stochastic Model Checking ( Varna, Italia), Remke, A., & Stoelinga, M. 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.
Tohutoru Kātū Chicago (17th ed.)
Autumn School on Stochastic Model Checking ( Varna, Italia), Anne Remke, me 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. Heidelberg, Alemania: Springer.
Tohutoro MLA (9th ed.)
Autumn School on Stochastic Model Checking ( Varna, Italia), 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.
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.