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

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