Inproceedings,

Scheduling of multi-product batch plants using reachability analysis of timed automata models.

, , , and .
ICINCO-ICSO, page 141-148. INSTICC Press, (2007)978-972-8865-82-5.

Meta data

Tags

Users

  • @dblp

Comments and Reviews