%0 Conference Proceedings
%F LJG11
%A Lakhdar-Chaouch, Lies
%A Jeannet, Bertrand
%A Girault, Alain
%T Widening with Thresholds for Programs with Complex Control Graphs
%B Automated Technology for Verification and Analysis, ATVA'11
%V 6996
%P 492-502
%S LNCS
%C Taipei (Taiwan)
%D 2011