@inproceedings{27f4db9496db4aef9f6f3d700d6468ff,
title = "Production scheduling by reachability analysis : a case study",
author = "G. Behrmann and E. Brinksma and M. Hendriks and A.H. Mader",
year = "2005",
doi = "10.1109/IPDPS.2005.363",
language = "English",
isbn = "0-7695-2312-9",
pages = "140a--",
booktitle = "Proceedings 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS 20005, Denver CO, USA, April 4-8, 2005)",
publisher = "IEEE Computer Society",
address = "United States",
}