Derivation of calibration sequences using model checking

  • J.C.F. Lam

Student thesis: Master

Date of Award31 Jan 2007
Original languageEnglish
SupervisorJ.C.M. Baeten (Supervisor 1), J.M. (Asia) van de Mortel-Fronczak (Supervisor 2), M.A.R. Stoets (Supervisor 2) & E. Bortnik (Supervisor 2)

Cite this

'