- Titel:
Scheduling based on Reachability Analysis of Timed Automata, Logistic Optimization of Chemical Production Processes
- Autor(en):
- Panek, S.; Stursberg, O.; Engell, S.
- Kapitel Beitrag:
- 10
- Herausgeber:
- Engell, S.
- Verlag / Institution:
- Wiley-VCH
- Jahr:
- 2008
- Seiten/Umfang:
- 215-235
- BibTeX