@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},
	biburl = {http://www.bibsonomy.org/bibtex/2195f6508437d803c757f51bf49fb86d5/dblp},
	description = {dblp},
	isbn = {978-972-8865-82-5}, date = {2007-07-11},
	keywords = {dblp }
}