"Enhanced Vacuity Detection in Linear Temporal Logic."

Roy Armoni et al. (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics