Abate, A., Katoen, J., Lygeros, J., & Prandini, M. (2010). Approximate Model Checking of Stochastic Hybrid Systems.
Chicago-referens (17:e uppl.)Abate, A., J. Katoen, J. Lygeros, och M. Prandini. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
MLA-referens (9:e uppl.)Abate, A., et al. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.