Abstracting real-valued parameters in parameterised boolean equation systems

Student thesis: Master

Abstract

Date of Award26 Feb 2018
Original languageEnglish
SupervisorTim A.C. Willemse (Supervisor 1)

Cite this

'