"Decomposition instead of self-composition for proving the absence of ..."

Timos Antonopoulos et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics