Kamal Jabbour

	1996
4		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
3		Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour: Formal specification and verification of communication protocols using automated tools . ICECCS 1995: 246-253
	1994
2		Francis Reichmeyer, Salim Hariri, Wang Song, Kamal Jabbour: An Optical Hypercube Local Area Network. HICSS (1) 1994: 471-480
	1988
1		Patrick W. Dowd, Kamal Jabbour: Spanning Multiaccess Channel Hypercube Computer Interconnection. IEEE Trans. Computers 37(9): 1137-1142 (1988)

Coauthor Index

1	Milica Barjaktarovic	[3] [4]
2	Shiu-Kai Chin	[3] [4]
3	Patrick W. Dowd	[1]
4	Salim Hariri	[2]
5	Francis Reichmeyer	[2]
6	Wang Song	[2]

Colors in the list of coauthors