Semantic characterization of programmable logic controller programs

Litian Xiao, Rui Wang, Ming Gu, Jiaguang Sun. Semantic characterization of programmable logic controller programs. Mathematical and Computer Modelling, 55(5-6):1819-1824, 2012. [doi]

Abstract

Abstract is missing.