Abate, A., Katoen, J., Lygeros, J., & Prandini, M. (2010). Approximate Model Checking of Stochastic Hybrid Systems.
Chicagoスタイル(17版)引用形式Abate, A., J. Katoen, J. Lygeros, , M. Prandini. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
MLA(9版)引用形式Abate, A., et al. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
警告: この引用は必ずしも正確ではありません.