Expressing liveness properties in trace theory

  • J.A. La PoutrĂ©

Student thesis: Master

Abstract

Date of Award31 Aug 1986
Original languageEnglish
SupervisorM. Rem (Supervisor 1) & A. Kaldewaij (Supervisor 2)

Cite this

'