APA引文

Abate, A., Katoen, J., Lygeros, J., & Prandini, M. (2010). Approximate Model Checking of Stochastic Hybrid Systems.

Chicago Style (17th ed.) Citation

Abate, A., J. Katoen, J. Lygeros, and M. Prandini. Approximate Model Checking of Stochastic Hybrid Systems. 2010.

MLA引文

Abate, A., et al. Approximate Model Checking of Stochastic Hybrid Systems. 2010.