"Bounded Model Checking for Weak Alternating Büchi Automata."

Keijo Heljanko et al. (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics