| Date of Award | 30 Jun 1998 |
|---|---|
| Original language | English |
| Supervisor | J.C.M. Baeten (Supervisor 1), A. Klomp (Supervisor 2) & Jan Tretmans (Supervisor 2) |
Cite this
- Standard
The specification and validation of the OM/RR-protocol
Student thesis: Master