Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems

MLA

Remke, and Mariëlle Stoelinga. Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Springer Berlin Heidelberg, 2014.

APA

Remke, R., & Stoelinga, M. (2014). Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Springer Berlin Heidelberg.

Chicago

Remke, and Mariëlle Stoelinga. Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. : Springer Berlin Heidelberg, 2014.