APA (7th ed.) Citation

Tkachev, I., Abate, A., Mereacre, A., & Katoen, J. (2012). Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems.

Chicago Style (17th ed.) Citation

Tkachev, I., A. Abate, A. Mereacre, and J. Katoen. Quantitative Automata-based Controller Synthesis for Non-autonomous Stochastic Hybrid Systems. 2012.

MLA (9th ed.) Citation

Tkachev, I., et al. Quantitative Automata-based Controller Synthesis for Non-autonomous Stochastic Hybrid Systems. 2012.