Article citationsMore>>

Canet, G., Couffin, S., Lesage, J.-J., Petit, A. and Schnoebelen, P. (2000) Towards the Automatic Verification of PLC Programs Written in Instruction List. 2000 IEEE International Conference on Systems, Man, and Cybernetics, 4, 2449-2454.
http://dx.doi.org/10.1109/icsmc.2000.884359

has been cited by the following article: