Article citationsMore>>

L’Her, D., Le Parc, P. and Marce, L. (1999) Proving Sequential Function Chart Programs Using Automata. In: Champarnaud, J.-M., Ziadi, D. and Maurel, D., Eds., Automata Implementation, Springer, Berlin, 149-163.
http://dx.doi.org/10.1007/3-540-48057-9_13

has been cited by the following article: