%0 Conference Proceedings
%F Peralta:2010
%A Peralta, Julio C.
%A Gautier, Thierry
%A Besnard, Loic
%A Le Guernic, Paul
%T LTSs for translation validation of (multi-clocked) Signal specifications
%B Proceedings of the 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE)
%P 199-208
%I IEEE Computer Society
%D 2010