Scheduling a steel plant with timed automata (1999)

by A Fehnker
Venue:in RTCSA’99