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:
Related Articles:
-
Rania B. M. Amer
-
Andrew Beckwith
-
Ananda Prasad Panta, Ram Prasad Ghimire, Dinesh Panthi, Shankar Raj Pant
-
Casimir Komenan
-
Ekaterina Lavrischeva, Alexei Ostrovski