Exploiting Local Persistency for Reduced State Space Generation.

Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li

Browse the full VECoS paper archive.