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.
@inproceedings{LockM99,
title = {Äquivalenz von annotierten Kontrollflussgraphen zur Darstellung von HLS-Ein-und Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren},
author = {Thomas Lock and Michael Mendler},
year = {1999},
researchr = {https://researchr.org/publication/LockM99},
cites = {0},
citedby = {0},
pages = {51-60},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999},
editor = {Matthias Mutz and Nikolaus Lange},
publisher = {Shaker},
}