Schmuck, Anne-Kathrin Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Schmuck, A.-K., Schneider, S., Raisch, J., & Nestmann, U. (2016). Supervisory Control Synthesis for Deterministic Context Free Specification Languages. Discrete Event Dynamic Systems, 26(1), 5-32. doi:10.1007/s10626-015-0221-2.