APA citiranje

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 citiranje

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