"Exploiting Local Persistency for Reduced State Space Generation."

Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics