Article citationsMore>>

Pavlovic, O. and Ehrich, H.-D. (2010) Model Checking PLC Software Written in Function Block Diagram. 2010 3rd International Conference on Software Testing, Verification and Validation (ICST), Paris, 6-10 April 2010, 439-448.
http://dx.doi.org/10.1109/icst.2010.10

has been cited by the following article: