Seceleanu, C., Johansson, M., Suryadevara, J., Sapienza, G., Seceleanu, T., Ellevseth, S., & Pettersson, P. (2017). Analyzing a wind turbine system: From simulation to formal verification. Science of computer programming, 133, 216-242. https://doi.org/10.1016/j.scico.2016.09.007
Citácia podle Chicago (17th ed.)Seceleanu, Cristina, Morgan Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein-Erik Ellevseth, a Paul Pettersson. "Analyzing a Wind Turbine System: From Simulation to Formal Verification." Science of Computer Programming 133 (2017): 216-242. https://doi.org/10.1016/j.scico.2016.09.007.
Citácia podľa MLA (8th ed.)Seceleanu, Cristina, et al. "Analyzing a Wind Turbine System: From Simulation to Formal Verification." Science of Computer Programming, vol. 133, 2017, pp. 216-242, https://doi.org/10.1016/j.scico.2016.09.007.