Discover open access scientific publications

Search, annotate, share and cite publications

Publications by U. Nestmann

Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata

IFAC Proceedings Volumes

English