Article citationsMore>>

Gourcuff, V., De Smet, O. and Faure, J. (2006) Efficient Representation for Formal Verification of PLC Programs. 2006 8th International Workshop on Discrete Event Systems, Ann Arbor, 10-12 July 2006, 182-187.
http://dx.doi.org/10.1109/WODES.2006.1678428

has been cited by the following article: