Milica Barjaktarovic (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2		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
1		Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour: Formal specification and verification of communication protocols using automated tools . ICECCS 1995: 246-253

Selection of 2 from 3 records - Milica Barjaktarovic has 2 coauthors