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.

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

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