High-level frameworks for the specification and verification of scheduling problems
Crossref DOI link: https://doi.org/10.1007/s10009-017-0466-1
Published Online: 2017-09-04
Published Print: 2018-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chadli, Mounir
Kim, Jin H.
Larsen, Kim G.
Legay, Axel
Naujokat, Stefan
Steffen, Bernhard
Traonouez, Louis-Marie
License valid from 2017-09-04