APA (7th ed.) Citation

Esmaeil Zadeh Soudjani, S., Abate, A., & Majumdar, R. (2017). Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Informatica, 54(2), 217. https://doi.org/10.1007/s00236-016-0287-9

Chicago Style (17th ed.) Citation

Esmaeil Zadeh Soudjani, Sadegh, Alessandro Abate, and Rupak Majumdar. "Dynamic Bayesian Networks for Formal Verification of Structured Stochastic Processes." Acta Informatica 54, no. 2 (2017): 217. https://doi.org/10.1007/s00236-016-0287-9.

MLA (9th ed.) Citation

Esmaeil Zadeh Soudjani, Sadegh, et al. "Dynamic Bayesian Networks for Formal Verification of Structured Stochastic Processes." Acta Informatica, vol. 54, no. 2, 2017, p. 217, https://doi.org/10.1007/s00236-016-0287-9.