| |
| 1997 | ||
|---|---|---|
| 3 | EE | András L. Oláh, Sonia M. Heemstra de Groot: Alternative specification and verification of a periodic state exchange protocol. IEEE/ACM Trans. Netw. 5(4): 525-529 (1997) |
| 1996 | ||
| 2 | EE | András L. Oláh, Sonia M. Heemstra de Groot: Comments on ``Minimum-latency transport protocols with modulo-N incarnation numbers''. IEEE/ACM Trans. Netw. 4(4): 660-666 (1996) |
| 1995 | ||
| 1 | András L. Oláh, Sonia M. Heemstra de Groot: Assertional Verification of a Connection Management Protocol. FORTE 1995: 401-416 | |
| 1 | Sonia M. Heemstra de Groot | [1] [2] [3] |