Mani Azimi

	2003
2		Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park: Experience with Applying Formal Methods to Protocol Specification and System Architecture. Formal Methods in System Design 22(2): 109-116 (2003)
	2002
1		Mani Azimi, Faye A. Briggs, Michel Cekleov, Manoj Khare, Akhilesh Kumar, Lily Pao Looi: Scalability Port: A Coherent Interface for Shared Memory Multiprocessors. Hot Interconnects 2002: 65-70

Coauthor Index

1	Faye A. Briggs	[1]
2	Michel Cekleov	[1]
3	Ching-Tsun Chou	[2]
4	Manoj Khare	[1]
5	Akhilesh Kumar	[1] [2]
6	Victor W. Lee	[2]
7	Lily Pao Looi	[1]
8	Phanindra K. Mannava	[2]
9	Seungjoon Park	[2]