Article citationsMore>>

Wardana, A., Folmer, J. and Vogel-Heuser, B. (2009) Automatic Program Verification of Continuous Function Chart Based on Model Checking. 35th Annual Conference of IEEE Industrial Electronics, Porto, 3-5 November 2009, 2422-2427.
http://dx.doi.org/10.1109/iecon.2009.5415231

has been cited by the following article: