Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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