Khurram Sajid

	2003
3		Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal: BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. Formal Methods in System Design 22(3): 205-224 (2003)
	1998
2		Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal: BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. CAV 1998: 244-255
	1997
1		Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal: Optimizing Designs Containing Black Boxes. DAC 1997: 113-116

Coauthor Index

1	Adnan Aziz	[1] [2] [3]
2	Anuj Goel	[2] [3]
3	Tai-Hung Liu	[1]
4	Vigyan Singhal	[1] [2] [3]
5	Hai Zhou	[2] [3]