Instantiation of parameterised Boolean equation systems

  • A. van Dam

Student thesis: Master

Date of Award31 Aug 2007
Original languageEnglish
SupervisorTim A.C. Willemse (Supervisor 1) & Jan Friso Groote (Supervisor 2)

Cite this

Documents

  • full text

    File: application/pdf, 442 KB

    Type: Thesis

'