An analysis of ASD timers and their expressivity with mCRL2

  • T. Hong

Student thesis: Master

Abstract

Date of Award29 Apr 2019
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1) & Thomas Neele (Supervisor 2)

Cite this

'