2007 | ||
---|---|---|
1 | Subanatarajan Subbiah, Sebastian Panek, Sebastian Engell, Olaf Stursberg: Scheduling of multi-product batch plants using reachability analysis of timed automata models. ICINCO-ICSO 2007: 141-148 |
1 | Sebastian Engell | [1] |
2 | Sebastian Panek | [1] |
3 | Olaf Stursberg | [1] |