Article citationsMore>>
Frey, G. and Litz, L. (2000) Formal Methods in PLC Programming. 2000 IEEE International Conference on Systems, Man, and Cybernetics, 4, 2431-2436.
http://dx.doi.org/10.1109/icsmc.2000.884356
has been cited by the following article: