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:
Related Articles:
-
Mohammad Q. Al-Natour, Mahmoud N. Abo-Shehada
-
Hossein Kazemeini, Ardeshire Khosravi, Seyed Jaber Mousavi, Aminda Amanolahi, Saeede Aghamohammadi
-
Beshir Marzouk
-
Alhassan Salifu Bawah
-
Oliver Knox, Clare Hall, Alistair McVittie, Robin Walker, Bruce Knight