Specifying observable behavior using temporal logic and auxiliary variables

  • E.C.M. Diepstraten

Student thesis: Master

Abstract

Date of Award30 Jun 1989
Original languageEnglish
SupervisorW.P. de Roever (Supervisor 1) & Ruurd Kuiper (Supervisor 2)

Cite this

'