APA (7th ed.) Citation

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 (9th ed.) Citation

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