Adding sequential composition and termination to the linear time

: branching time spectrum

  • L. Nijland

Student thesis: Master

Abstract

Date of Award31 Aug 2018
LanguageEnglish
SupervisorBas 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