An automated verification approach for scheduling in complex manufacturing machines

  • T.J.H. Kuijpers

Student thesis: Master

Abstract

Date of Award31 Jan 2006
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1) & Alexander Serebrenik (Supervisor 2)

Cite this

'