"Exploiting Heap Symmetries in Explicit-State Model Checking of Software."

Radu Iosif (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics