| Date of Award | 30 Jun 1989 |
|---|---|
| Original language | English |
| Supervisor | W.P. de Roever (Supervisor 1) & Ruurd Kuiper (Supervisor 2) |
Specifying observable behavior using temporal logic and auxiliary variables
Student thesis: Master