Abate, A., Katoen, J., Lygeros, J., & Prandini, M. (2010). Approximate Model Checking of Stochastic Hybrid Systems.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումAbate, A., J. Katoen, J. Lygeros, and M. Prandini. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
MLA (9րդ խմբ.) ՄեջբերումAbate, A., et al. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.