Article citationsMore>>

Remelhe, M., Lohmann, S., Stursberg, O., Engell, S. and Bauer, N. (2004) Algorithmic Verification of Logic Controllers Given as Sequential Function Charts. 2004 IEEE International Symposium on Computer Aided Control Systems Design, Taipei, 4 September 2004, 53-58.
http://dx.doi.org/10.1109/CACSD.2004.1393850

has been cited by the following article: