Abate, A., Katoen, J., Lygeros, J., & Prandini, M. (2010). Approximate Model Checking of Stochastic Hybrid Systems.
芝加哥风格引文Abate, A., J. Katoen, J. Lygeros, 与 M. Prandini. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
MLA引文Abate, A., et al. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
警告：这些引文格式不一定是100％准确.