| 1997 |
|---|
| 3 | | Milica Barjaktarovic:
Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN.
ICFEM 1997: 232- |
| 1996 |
|---|
| 2 | EE | Milica Barjaktarovic,
Shiu-Kai Chin,
Kamal Jabbour:
Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS.
ISSTA 1996: 270-279 |
| 1995 |
|---|
| 1 | EE | Milica Barjaktarovic,
Shiu-Kai Chin,
Kamal Jabbour:
Formal specification and verification of communication protocols using automated tools .
ICECCS 1995: 246-253 |
