Khurram Sajid

Publication Activity (10 Years)

Years Active: 1997-2003
Publications (10 Years): 0

Publications

Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. Formal Methods Syst. Des. 22 (3) (2003)
Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. CAV (1998)
Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal
Optimizing Designs Containing Black Boxes. DAC (1997)