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]

Authors

Litian Xiao

This author has not been identified. Look up 'Litian Xiao' in Google

Rui Wang

This author has not been identified. Look up 'Rui Wang' in Google

Ming Gu

This author has not been identified. Look up 'Ming Gu' in Google

Jiaguang Sun

This author has not been identified. Look up 'Jiaguang Sun' in Google