%0 Journal Article 
%F JSC2011
%A Schrammel, Peter
%A Jeannet, Bertrand
%T Applying Abstract Acceleration to (Co-)Reachability Analysis of Reactive Programs
%J Journal of Symbolic Computation - Special issue on WING2010
%D 2011