EEMCS

Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Production Scheduling by Reachability Analysis - A Case Study. In: Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), 4-5 Apr 2005, Denver, Colorado. 140a-140a. IEEE Computer Society. ISBN 0-7695-2312-9

Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Scheduling Lacquer Production by Reachability Analysis -- A Case Study. Technical Report TR-CTIT-05-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Scheduling lacquer production by reachability analysis - A case study. In: 16th IFAC World Congress, Prague, Czech Republic. MoA17TO3. International Federation of Automatic Control (IFAC). ISBN not assigned