Abate, A., Katoen, J., Lygeros, J., & Prandini, M. (2010). Approximate Model Checking of Stochastic Hybrid Systems.
Cytowanie według stylu Chicago (wyd. 17)Abate, A., J. Katoen, J. Lygeros, i M. Prandini. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
Cytowanie według stylu MLA (wyd. 9)Abate, A., et al. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..