Skip to Main content Skip to Navigation

Search by documents



...
hal-01517378v1  Conference papers
M FilaliNabil Zaidi. Johnson's procedure: mechanization and parallelization
7th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2016) in conjunction with the 28th Euromicro Conference on Real-Time Systems : ECRTS 2016, Jul 2016, Toulouse, France. pp. 9-10