Voelker, N., & Kraemer, B. J. (2002). Automated verification of function block-based industrial control systems. Science of computer programming, 42(1), 101-113. https://doi.org/10.1016/S0167-6423(01)00028-4
Citace podle Chicago (17th ed.)Voelker, N., a B J. Kraemer. "Automated Verification of Function Block-based Industrial Control Systems." Science of Computer Programming 42, no. 1 (2002): 101-113. https://doi.org/10.1016/S0167-6423(01)00028-4.
Citace podle MLA (9th ed.)Voelker, N., a B J. Kraemer. "Automated Verification of Function Block-based Industrial Control Systems." Science of Computer Programming, vol. 42, no. 1, 2002, pp. 101-113, https://doi.org/10.1016/S0167-6423(01)00028-4.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..