"A novel verification technique to uncover out-of-order DUV behaviors."

Gabriel Marcilio et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics