"Verifikation Rekonfigurierbarer Scan-Netze."

Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics