APA Citation

WANG, K., WANG, J., POSKITT, C. M., CHEN, X., SUN, J., & CHENG, P. (2023). K-ST: A formal executable semantics of the structured text language for PLCs. Institutional Knowledge at Singapore Management University.

Chicago Style Citation

WANG, Kun, Jingyi WANG, Christopher M. POSKITT, Xiangxiang CHEN, Jun SUN, and Peng CHENG. K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. Institutional Knowledge at Singapore Management University, 2023.

MLA Citation

WANG, Kun, et al. K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. Institutional Knowledge at Singapore Management University, 2023.

Warning: These citations may not always be 100% accurate.