Date of Award | 31 Aug 1983 |
---|---|
Original language | English |
Supervisor | A. Heetman (Supervisor 1) |
A formal specification method for data communication protocols
Student thesis: Master
Student thesis: Master
Date of Award | 31 Aug 1983 |
---|---|
Original language | English |
Supervisor | A. Heetman (Supervisor 1) |