Unser Artikel C. Buchheim, M. Merkert: "Extended formulations for control languages defined by finite-state automata" ist in der Zeitschrift "Mathematical Programming" erschienen.
