Determinierung von Automaten bei der High-Level-Synthese von Operationseigenschaften. - Jan Langer; Dimo Pepelyashev; Ulrich Heinkel (MBMV, 2010)