Article citationsMore>>

Bauer, N., Engell, S., Huuck, R., Lohmann, S., Lukoschus, B., Remelhe, M. and Stursberg, O. (2004) Verification of PLC Programs Given as Sequential Function Charts. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E. and Westkamper, E., Eds., Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes in Computer Science, Vol. 3147, Part V: Verification, Springer, Berlin, 517-540.
http://dx.doi.org/10.1007/978-3-540-27863-4_28

has been cited by the following article: