"Exploiting Signal Unobservability for Efficient Translation to CNF in ..."

Miroslav N. Velev (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics