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.
Успішно скопійовано в буфер обміну
Не вдалося скопіювати в буфер обміну
Чикаго стиль цитування (17-те видання)
Autumn School on Stochastic Model Checking ( Varna, Italia), 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. Heidelberg, Alemania: Springer.
Успішно скопійовано в буфер обміну
Не вдалося скопіювати в буфер обміну
Стиль цитування MLA (9-ме видання)
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.
Успішно скопійовано в буфер обміну
Не вдалося скопіювати в буфер обміну
Попередження: стилі цитування не завжди правильні на всі 100%.