Milica Barjaktarovic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1995–1997
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ICFEM | Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN. | Milica Barjaktarovic |
| 1996 | ISSTA | Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
| 1995 | ICECCS | Formal specification and verification of communication protocols using automated tools . | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |