Skip to content

Job-Shop Scheduling Using Timed Automata.

Yasmina Abdeddam, Oded Maler

VenueA*CAV
Year2001
ProceedingsCAV

Browse the full CAV paper archive.