"The COST IC0701 Verification Competition 2011."

Thorsten Bormer et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics