Thomas Lock, Michael Mendler. Äquivalenz von annotierten Kontrollflussgraphen zur Darstellung von HLS-Ein-und Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren. In Matthias Mutz, Nikolaus Lange, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999. pages 51-60, Shaker, 1999.
Abstract is missing.