"Diverse Scenario Exploration in Model Finders Using Graph Kernels and ..."

Robert Clarisó, Jordi Cabot (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics