Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.