@inproceedings{conf/icinco/SubbiahPES07,
title = {Scheduling of multi-product batch plants using reachability analysis of timed automata models.},
author = {Subanatarajan Subbiah and Sebastian Panek and Sebastian Engell and Olaf Stursberg},
booktitle = {ICINCO-ICSO},
crossref = {conf/icinco/2007icso},
editor = {Janan Zaytoon and Jean-Louis Ferrier and Juan Andrade-Cetto and Joaquim Filipe},
pages = {141-148},
publisher = {INSTICC Press},
url = {http://dblp.uni-trier.de/db/conf/icinco/icinco2007-icso.html#SubbiahPES07},
year = {2007},
description = {dblp},
isbn = {978-972-8865-82-5}, date = {2007-07-11},
keywords = {dblp }
}