Adding sequential composition and termination to the linear time
: branching time spectrum

  • L. Nijland

Student thesis: Master

Abstract

Date of Award31 Aug 2018
Original languageEnglish
SupervisorS.P. (Bas) Luttik (Supervisor 1)

Cite this

Adding sequential composition and termination to the linear time: branching time spectrum
Nijland, L. (Author). 31 Aug 2018

Student thesis: Master