Cita APA

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

Citación estilo Chicago

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

Cita MLA

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