|
Search the dblp DataBase
Milica Barjaktarovic:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour
Formal specification and verification of communication protocols using automated tools . [Citation Graph (0, 0)][DBLP] ICECCS, 1995, pp:246-253 [Conf]
- Milica Barjaktarovic
Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN. [Citation Graph (0, 0)][DBLP] ICFEM, 1997, pp:232-0 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ISSTA, 1996, pp:270-279 [Conf]
Search in 0.001secs, Finished in 0.002secs
|