"Using Magnatic Disk Instead of Main Memory in the Murphi Verifier."

Ulrich Stern, David L. Dill (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics