%0 Conference Proceedings
%F andalam11
%A Andalam, S.
%A Roop, Partha
%A Girault, Alain
%T Pruning Infeasible Paths for Tight {WCRT} Analysis of Synchronous Programs
%B Design Automation and Test in Europe Conference, DATE'11
%C Grenoble, France
%8 April
%D 2011