"Making Abstract Model Checking Strongly Preserving."

Francesco Ranzato, Francesco Tapparo (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics