"Computation of Discrete Abstractions of Arbitrary Memory Span for ..."

Gunther Reißig (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics