"From Non-Disjoint Combination to Satisfiability and Model-Checking of ..."

Silvio Ghilardi et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics