An analysis of ASD timers and their expressivity with mCRL2

  • T. Hong

Student thesis: Master

Abstract

Date of Award29 Apr 2019
Original languageEnglish
SupervisorJ.F. (Jan Friso) Groote (Supervisor 1) & Thomas Neele (Supervisor 2)

Cite this

An analysis of ASD timers and their expressivity with mCRL2
Hong, T. (Author). 29 Apr 2019

Student thesis: Master