Abstracting real-valued parameters in parameterised boolean equation systems

Student thesis: Master

Abstract

Date of Award26 Feb 2018
LanguageEnglish
SupervisorTim Willemse (Supervisor 1)

Cite this

Abstracting real-valued parameters in parameterised boolean equation systems
Laveaux, M. (Author). 26 Feb 2018

Student thesis: Master