Strengthening methods for parameterized boolean equation systems

  • T. Haenen

Student thesis: Master

Date of Award31 Aug 2010
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1)

Cite this

Documents

  • full text

    File: application/pdf, 442 KB

    Type: Thesis

'