Abate, A., Katoen, J., Lygeros, J., & Prandini, M. (2010). Approximate Model Checking of Stochastic Hybrid Systems.
Citace podle Chicago (17th ed.)Abate, A., J. Katoen, J. Lygeros, a M. Prandini. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
Citace podle MLA (9th ed.)Abate, A., et al. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..