APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Voelker, N., and 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.

MLA (9th ed.) Citation

Voelker, N., and 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.