Giorgio Delzanno Jean-François Raskin Laurent Van Begin Attacking Symbolic State Explosion. 298-310 2001 conf/cav/2001 CAV http://dx.doi.org/10.1007/3-540-44585-4_28 db/conf/cav/cav2001.html#DelzannoRB01