- Title:
Scheduling based on Reachability Analysis of Timed Automata, Logistic Optimization of Chemical Production Processes
- Author(s):
- Panek, S.; Stursberg, O.; Engell, S.
- Chapter contribution:
- 10
- Editor:
- Engell, S.
- Publisher:
- Wiley-VCH
- Year:
- 2008
- Pages:
- 215-235
- BibTeX