"Generate, Test, and Aggregate - A Calculation-based Framework for ..."

Kento Emoto, Sebastian Fischer, Zhenjiang Hu (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics